Safe Haskell	None
Language	Haskell2010

Michelson.Typed.T

Description

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

Synopsis

data T
- = 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
toUType :: T -> Type
buildStack :: [T] -> Builder

Documentation

data T Source #

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

Instances details

Eq T Source #
Instance details Defined in Michelson.Typed.T Methods (==) :: T -> T -> Bool # (/=) :: T -> T -> Bool #
Show T Source #
Instance details Defined in Michelson.Typed.T Methods showsPrec :: Int -> T -> ShowS # show :: T -> String # showList :: [T] -> ShowS #
Generic T Source #
Instance details 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 Source #
Instance details Defined in Michelson.Typed.T Methods rnf :: T -> () #
Buildable T Source #
Instance details Defined in Michelson.Typed.T Methods build :: T -> Builder #
SingKind T Source #
Instance details 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 Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError T Source #
ToExpression T Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: T -> Expression Source #
SingI 'TKey Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TKey #
SingI 'TUnit Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TUnit #
SingI 'TSignature Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TSignature #
SingI 'TChainId Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TChainId #
SingI 'TOperation Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TOperation #
SingI 'TInt Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TInt #
SingI 'TNat Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TNat #
SingI 'TString Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TString #
SingI 'TBytes Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TBytes #
SingI 'TMutez Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TMutez #
SingI 'TBool Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TBool #
SingI 'TKeyHash Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TKeyHash #
SingI 'TTimestamp Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TTimestamp #
SingI 'TAddress Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing 'TAddress #
KnownT a => SingI ('TOption a :: T) Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing ('TOption a) #
KnownT a => SingI ('TList a :: T) Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing ('TList a) #
KnownT a => SingI ('TSet a :: T) Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing ('TSet a) #
KnownT a => SingI ('TContract a :: T) Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing ('TContract a) #
(KnownT a, KnownT b) => SingI ('TPair a b :: T) Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing ('TPair a b) #
(KnownT a, KnownT b) => SingI ('TOr a b :: T) Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing ('TOr a b) #
(KnownT a, KnownT b) => SingI ('TLambda a b :: T) Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing ('TLambda a b) #
(KnownT a, KnownT b) => SingI ('TMap a b :: T) Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing ('TMap a b) #
(KnownT a, KnownT b) => SingI ('TBigMap a b :: T) Source #
Instance details Defined in Michelson.Typed.Sing Methods sing :: Sing ('TBigMap a b) #
KnownT t => CheckScope (UnpackedValScope t) Source #
Instance details Defined in Michelson.Typed.Scope Methods checkScope :: Either BadTypeForScope (Dict (UnpackedValScope t)) Source #
KnownT t => CheckScope (PackedValScope t) Source #
Instance details Defined in Michelson.Typed.Scope Methods checkScope :: Either BadTypeForScope (Dict (PackedValScope t)) Source #
KnownT t => CheckScope (ConstantScope t) Source #
Instance details Defined in Michelson.Typed.Scope Methods checkScope :: Either BadTypeForScope (Dict (ConstantScope t)) Source #
(KnownT inp, KnownT out) => FromExpression (Instr '[inp] '[out]) Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError (Instr '[inp] '[out]) Source #
type Rep T Source #
Instance details Defined in Michelson.Typed.T type Rep T = D1 ('MetaData "T" "Michelson.Typed.T" "morley-1.12.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 Source #
Instance details Defined in Michelson.Typed.Sing type Sing = SingT
type Demote T Source #
Instance details Defined in Michelson.Typed.Sing type Demote T = T

toUType :: T -> Type Source #

Converts from T to Type.

buildStack :: [T] -> Builder Source #

Format type stack in a pretty way.