Michelson.Typed.T

Module, providing CT and T data types, representing Michelson language types without annotations.

Documentation

data CT

Constructors

CInt

CNat

CString

CBytes

CMutez

CBool

CKeyHash

CTimestamp

CAddress

Instances

Bounded CT

Defined in Michelson.Untyped.Type

Methods

minBound :: CT

maxBound :: CT

Enum CT

Defined in Michelson.Untyped.Type

Methods

succ :: CT -> CT

pred :: CT -> CT

toEnum :: Int -> CT

fromEnum :: CT -> Int

enumFrom :: CT -> [CT]

enumFromThen :: CT -> CT -> [CT]

enumFromTo :: CT -> CT -> [CT]

enumFromThenTo :: CT -> CT -> CT -> [CT]

Eq CT

Defined in Michelson.Untyped.Type

Methods

(==) :: CT -> CT -> Bool

(/=) :: CT -> CT -> Bool

Data CT

Defined in Michelson.Untyped.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CT -> c CT

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CT

toConstr :: CT -> Constr

dataTypeOf :: CT -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CT)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CT)

gmapT :: (forall b. Data b => b -> b) -> CT -> CT

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CT -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CT -> r

gmapQ :: (forall d. Data d => d -> u) -> CT -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CT -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CT -> m CT

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CT -> m CT

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CT -> m CT

Ord CT

Defined in Michelson.Untyped.Type

Methods

compare :: CT -> CT -> Ordering

(<) :: CT -> CT -> Bool

(<=) :: CT -> CT -> Bool

(>) :: CT -> CT -> Bool

(>=) :: CT -> CT -> Bool

max :: CT -> CT -> CT

min :: CT -> CT -> CT

Show CT

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> CT -> ShowS

show :: CT -> String

showList :: [CT] -> ShowS

Generic CT

Defined in Michelson.Untyped.Type

Associated Types

type Rep CT :: Type -> Type

Methods

from :: CT -> Rep CT x

to :: Rep CT x -> CT

Lift CT

Defined in Michelson.Untyped.Type

Methods

lift :: CT -> Q Exp

Arbitrary CT

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen CT

shrink :: CT -> [CT]

ToJSON CT

Defined in Michelson.Untyped.Type

Methods

toJSON :: CT -> Value

toEncoding :: CT -> Encoding

toJSONList :: [CT] -> Value

toEncodingList :: [CT] -> Encoding

FromJSON CT

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser CT

parseJSONList :: Value -> Parser [CT]

Buildable CT

Defined in Michelson.Untyped.Type

Methods

build :: CT -> Builder

ToADTArbitrary CT

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy CT -> Gen (ADTArbitrarySingleton CT)

toADTArbitrary :: Proxy CT -> Gen (ADTArbitrary CT)

SingKind CT

Defined in Michelson.Typed.Sing

Associated Types

type Demote CT = (r :: Type)

Methods

fromSing :: Sing a -> Demote CT

toSing :: Demote CT -> SomeSing CT

RenderDoc CT

Defined in Michelson.Untyped.Type

Methods

renderDoc :: RenderContext -> CT -> Doc

isRenderable :: CT -> Bool

SingI CInt

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CInt

SingI CNat

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CNat

SingI CString

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CString

SingI CBytes

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CBytes

SingI CMutez

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CMutez

SingI CBool

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CBool

SingI CKeyHash

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CKeyHash

SingI CTimestamp

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CTimestamp

SingI CAddress

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CAddress

type Rep CT

Defined in Michelson.Untyped.Type

type Rep CT = D1 (MetaData "CT" "Michelson.Untyped.Type" "morley-1.0.0-Jo9z4xumEmKBIsSgg9Z0MH" False) (((C1 (MetaCons "CInt" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CNat" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CString" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CBytes" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "CMutez" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CBool" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CKeyHash" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CTimestamp" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CAddress" PrefixI False) (U1 :: Type -> Type)))))

data Sing (a :: CT)

Instance of data family Sing for CT.

Defined in Michelson.Typed.Sing

data Sing (a :: CT) where

• SCInt :: forall (a :: CT). Sing CInt
• SCNat :: forall (a :: CT). Sing CNat
• SCString :: forall (a :: CT). Sing CString
• SCBytes :: forall (a :: CT). Sing CBytes
• SCMutez :: forall (a :: CT). Sing CMutez
• SCBool :: forall (a :: CT). Sing CBool
• SCKeyHash :: forall (a :: CT). Sing CKeyHash
• SCTimestamp :: forall (a :: CT). Sing CTimestamp
• SCAddress :: forall (a :: CT). Sing CAddress

type Demote CT

Defined in Michelson.Typed.Sing

type Demote CT = CT

data T

Michelson language type with annotations stripped off.

Constructors

Tc CT

TKey

TUnit

TSignature

TChainId

TOption T

TList T

TSet CT

TOperation

TContract T

TPair T T

TOr T T

TLambda T T

TMap CT T

TBigMap CT T

Instances

Eq T

Defined in Michelson.Typed.T

Methods

(==) :: T -> T -> Bool

(/=) :: T -> T -> Bool

Show T

Defined in Michelson.Typed.T

Methods

showsPrec :: Int -> T -> ShowS

show :: T -> String

showList :: [T] -> ShowS

Buildable T

Defined in Michelson.Typed.T

Methods

build :: T -> Builder

SingKind T

Defined in Michelson.Typed.Sing

Associated Types

type Demote T = (r :: Type)

Methods

fromSing :: Sing a -> Demote T

toSing :: Demote T -> SomeSing T

SingI TKey

Defined in Michelson.Typed.Sing

Methods

sing :: Sing TKey

SingI TUnit

Defined in Michelson.Typed.Sing

Methods

sing :: Sing TUnit

SingI TSignature

Defined in Michelson.Typed.Sing

Methods

sing :: Sing TSignature

SingI TChainId

Defined in Michelson.Typed.Sing

Methods

sing :: Sing TChainId

SingI TOperation

Defined in Michelson.Typed.Sing

Methods

sing :: Sing TOperation

(SingI t, Typeable t) => SingI (Tc t :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing (Tc t)

(SingI a, Typeable a) => SingI (TOption a :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing (TOption a)

(SingI a, Typeable a) => SingI (TList a :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing (TList a)

(SingI a, Typeable a) => SingI (TSet a :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing (TSet a)

(SingI a, Typeable a) => SingI (TContract a :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing (TContract a)

(SingI a, Typeable a, Typeable b, SingI b) => SingI (TPair a b :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing (TPair a b)

(SingI a, Typeable a, Typeable b, SingI b) => SingI (TOr a b :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing (TOr a b)

(SingI a, Typeable a, Typeable b, SingI b) => SingI (TLambda a b :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing (TLambda a b)

(SingI a, Typeable a, Typeable b, SingI b) => SingI (TMap a b :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing (TMap a b)

(SingI a, Typeable a, Typeable b, SingI b) => SingI (TBigMap a b :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing (TBigMap a b)

(Typeable t, SingI t) => CheckScope (UnpackedValScope t)

Defined in Michelson.Typed.Scope

Methods

checkScope :: Either BadTypeForScope (Dict (UnpackedValScope t))

(Typeable t, SingI t) => CheckScope (PackedValScope t)

Defined in Michelson.Typed.Scope

Methods

checkScope :: Either BadTypeForScope (Dict (PackedValScope t))

(Typeable t, SingI t) => CheckScope (ConstantScope t)

Defined in Michelson.Typed.Scope

Methods

checkScope :: Either BadTypeForScope (Dict (ConstantScope t))

(Typeable t, SingI t) => CheckScope (StorageScope t)

Defined in Michelson.Typed.Scope

Methods

checkScope :: Either BadTypeForScope (Dict (StorageScope t))

(Typeable t, SingI t) => CheckScope (ParameterScope t)

Defined in Michelson.Typed.Scope

Methods

checkScope :: Either BadTypeForScope (Dict (ParameterScope t))

(Typeable t, SingI t) => CheckScope (ComparabilityScope t)

Defined in Michelson.Typed.Scope

Methods

checkScope :: Either BadTypeForScope (Dict (ComparabilityScope t))

data Sing (a :: T)

Instance of data family Sing for T. Custom instance is implemented in order to inject Typeable constraint for some of constructors.

Defined in Michelson.Typed.Sing

data Sing (a :: T) where

• STc :: forall (a :: T) (a :: CT). (SingI a, Typeable a) => Sing a -> Sing (Tc a)
• STKey :: forall (a :: T). Sing TKey
• STUnit :: forall (a :: T). Sing TUnit
• STSignature :: forall (a :: T). Sing TSignature
• STChainId :: forall (a :: T). Sing TChainId
• STOption :: forall (a :: T) (a :: T). (SingI a, Typeable a) => Sing a -> Sing (TOption a)
• STList :: forall (a :: T) (a :: T). (SingI a, Typeable a) => Sing a -> Sing (TList a)
• STSet :: forall (a :: T) (a :: CT). (SingI a, Typeable a) => Sing a -> Sing (TSet a)
• STOperation :: forall (a :: T). Sing TOperation
• STContract :: forall (a :: T) (a :: T). (SingI a, Typeable a) => Sing a -> Sing (TContract a)
• STPair :: forall (a :: T) (a :: T) (b :: T). (SingI a, SingI b, Typeable a, Typeable b) => Sing a -> Sing b -> Sing (TPair a b)
• STOr :: forall (a :: T) (a :: T) (b :: T). (SingI a, SingI b, Typeable a, Typeable b) => Sing a -> Sing b -> Sing (TOr a b)
• STLambda :: forall (a :: T) (a :: T) (b :: T). (SingI a, SingI b, Typeable a, Typeable b) => Sing a -> Sing b -> Sing (TLambda a b)
• STMap :: forall (a :: T) (a :: CT) (b :: T). (SingI a, SingI b, Typeable a, Typeable b) => Sing a -> Sing b -> Sing (TMap a b)
• STBigMap :: forall (a :: T) (a :: CT) (b :: T). (SingI a, SingI b, Typeable a, Typeable b) => Sing a -> Sing b -> Sing (TBigMap a b)

type Demote T

Defined in Michelson.Typed.Sing

type Demote T = T

toUType :: T -> Type

Converts from T to Type.

buildStack :: [T] -> Builder

Format type stack in a pretty way.