Michelson.Typed.T

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

Documentation

data T

Michelson language type with annotations stripped off.

Constructors

TKey

TUnit

TSignature

TChainId

TOption T

TList T

TSet T

TOperation

TContract T

TPair T T

TOr T T

TLambda T T

TMap T T

TBigMap T T

TInt

TNat

TString

TBytes

TMutez

TBool

TKeyHash

TTimestamp

TAddress

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

Generic T

Defined in Michelson.Typed.T

Associated Types

type Rep T :: Type -> Type

Methods

from :: T -> Rep T x

to :: Rep T x -> T

NFData T

Defined in Michelson.Typed.T

Methods

rnf :: T -> ()

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 :: forall (a :: T). Sing a -> Demote T

toSing :: Demote T -> SomeSing T

FromExpression T

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Either FromExpressionError T

ToExpression T

Defined in Morley.Micheline.Class

Methods

toExpression :: T -> Expression

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 'TInt

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TInt

SingI 'TNat

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TNat

SingI 'TString

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TString

SingI 'TBytes

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TBytes

SingI 'TMutez

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TMutez

SingI 'TBool

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TBool

SingI 'TKeyHash

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TKeyHash

SingI 'TTimestamp

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TTimestamp

SingI 'TAddress

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TAddress

KnownT a => SingI ('TOption a :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TOption a)

KnownT a => SingI ('TList a :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TList a)

KnownT a => SingI ('TSet a :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TSet a)

KnownT a => SingI ('TContract a :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TContract a)

(KnownT a, KnownT b) => SingI ('TPair a b :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TPair a b)

(KnownT a, KnownT b) => SingI ('TOr a b :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TOr a b)

(KnownT a, KnownT b) => SingI ('TLambda a b :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TLambda a b)

(KnownT a, KnownT b) => SingI ('TMap a b :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TMap a b)

(KnownT a, KnownT b) => SingI ('TBigMap a b :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TBigMap a b)

KnownT t => CheckScope (UnpackedValScope t)

Defined in Michelson.Typed.Scope

Methods

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

KnownT t => CheckScope (PackedValScope t)

Defined in Michelson.Typed.Scope

Methods

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

KnownT t => CheckScope (ConstantScope t)

Defined in Michelson.Typed.Scope

Methods

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

(KnownT inp, KnownT out) => FromExpression (Instr '[inp] '[out])

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Either FromExpressionError (Instr '[inp] '[out])

type Rep T

Defined in Michelson.Typed.T

type Rep T = D1 ('MetaData "T" "Michelson.Typed.T" "morley-1.10.0-inplace" 'False) ((((C1 ('MetaCons "TKey" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TUnit" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TSignature" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TChainId" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TOption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T))))) :+: ((C1 ('MetaCons "TList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T)) :+: (C1 ('MetaCons "TSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T)) :+: C1 ('MetaCons "TOperation" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "TContract" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T)) :+: (C1 ('MetaCons "TPair" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T)) :+: C1 ('MetaCons "TOr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T)))))) :+: (((C1 ('MetaCons "TLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T)) :+: (C1 ('MetaCons "TMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T)) :+: C1 ('MetaCons "TBigMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T)))) :+: (C1 ('MetaCons "TInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TNat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TString" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TBytes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TMutez" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TBool" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "TKeyHash" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TTimestamp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TAddress" 'PrefixI 'False) (U1 :: Type -> Type))))))

type Sing

Defined in Michelson.Typed.Sing

type Sing = SingT

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.