Skip to content

Commit

Permalink
Use Type instead of *
Browse files Browse the repository at this point in the history
GHC 8.10 warns about this.
  • Loading branch information
mrBliss committed Oct 19, 2020
1 parent 3e767d8 commit d8d5ccd
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions cardano-api/src/Cardano/Api/Typed.hs
Expand Up @@ -345,7 +345,7 @@ import Prelude

import Data.Aeson.Encode.Pretty (encodePretty')
import Data.Bifunctor (first)
import Data.Kind (Constraint)
import Data.Kind (Constraint, Type)
import Data.List as List
import qualified Data.List.NonEmpty as NonEmpty
import Data.Maybe
Expand Down Expand Up @@ -561,10 +561,10 @@ class (Eq (VerificationKey keyrole),
=> Key keyrole where

-- | The type of cryptographic verification key, for each key role.
data VerificationKey keyrole :: *
data VerificationKey keyrole :: Type

-- | The type of cryptographic signing key, for each key role.
data SigningKey keyrole :: *
data SigningKey keyrole :: Type

-- | Get the corresponding verification key from a signing key.
getVerificationKey :: SigningKey keyrole -> VerificationKey keyrole
Expand Down Expand Up @@ -603,7 +603,7 @@ class CastSigningKeyRole keyroleA keyroleB where
castSigningKey :: SigningKey keyroleA -> SigningKey keyroleB


data family Hash keyrole :: *
data family Hash keyrole :: Type

class CastHash keyroleA keyroleB where

Expand Down Expand Up @@ -3085,7 +3085,7 @@ deserialiseFromTextEnvelope ttoken te = do
first TextView.TextViewDecodeError $
deserialiseFromCBOR ttoken (TextView.tvRawCBOR te) --TODO: You have switched from CBOR to JSON

data FromSomeType (c :: * -> Constraint) b where
data FromSomeType (c :: Type -> Constraint) b where
FromSomeType :: c a => AsType a -> (a -> b) -> FromSomeType c b


Expand Down Expand Up @@ -3207,7 +3207,7 @@ instance HasTypeProxy a => HasTypeProxy (Hash a) where
-- | Map the various Shelley key role types into corresponding 'Shelley.KeyRole'
-- types.
--
type family ShelleyKeyRole (keyrole :: *) :: Shelley.KeyRole
type family ShelleyKeyRole (keyrole :: Type) :: Shelley.KeyRole

type instance ShelleyKeyRole PaymentKey = Shelley.Payment
type instance ShelleyKeyRole GenesisKey = Shelley.Genesis
Expand Down

0 comments on commit d8d5ccd

Please sign in to comment.