morley-1.7.0: Developer tools for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Michelson.Typed.T

Description

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

Synopsis

Documentation

data T Source #

Michelson language type with annotations stripped off.

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 #

ToExpression T Source # 
Instance details

Defined in Morley.Micheline.Class

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

KnownT t => CheckScope (PackedValScope t) Source # 
Instance details

Defined in Michelson.Typed.Scope

KnownT t => CheckScope (ConstantScope t) Source # 
Instance details

Defined in Michelson.Typed.Scope

type Rep T Source # 
Instance details

Defined in Michelson.Typed.T

type Rep T = D1 ('MetaData "T" "Michelson.Typed.T" "morley-1.7.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.