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

TTicket T

TPair T T

TOr T T

TLambda T T

TMap T T

TBigMap T T

TInt

TNat

TString

TBytes

TMutez

TBool

TKeyHash

TBls12381Fr

TBls12381G1

TBls12381G2

TTimestamp

TAddress

TNever

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

SDecide T => SDecide T

Defined in Michelson.Typed.Sing

Methods

(%~) :: forall (a :: T) (b :: T). Sing a -> Sing b -> Decision (a :~: b)

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

RenderDoc T

Defined in Michelson.Typed.T

Methods

renderDoc :: RenderContext -> T -> Doc

isRenderable :: T -> Bool

FromExpression T

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Either FromExpressionError T

ToExpression T

Defined in Morley.Micheline.Class

Methods

toExpression :: T -> Expression

SDecide T => TestCoercion SingT

Defined in Michelson.Typed.Sing

Methods

testCoercion :: forall (a :: k) (b :: k). SingT a -> SingT b -> Maybe (Coercion a b)

SDecide T => TestEquality SingT

Defined in Michelson.Typed.Sing

Methods

testEquality :: forall (a :: k) (b :: k). SingT a -> SingT b -> Maybe (a :~: b)

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

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TBls12381Fr

SingI 'TBls12381G1

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TBls12381G1

SingI 'TBls12381G2

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TBls12381G2

SingI 'TTimestamp

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TTimestamp

SingI 'TAddress

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TAddress

SingI 'TNever

Defined in Michelson.Typed.Sing

Methods

sing :: Sing 'TNever

SingI1 'TList

Previously, we were using SingI constraints in SingT constructors. That was not so optimal because we have been spending too much space at runtime. Instead of that, we process values of SingT using the function withSingI in those places where the SingI constraint is required. withSingI allows one to create the SingI context for a given Sing.

Defined in Michelson.Typed.Sing

Methods

withSingI1 :: forall (x :: k) r. SingI x => (SingI ('TList x) => r) -> r

SingI k => SingI1 ('TMap k :: T -> T)

Defined in Michelson.Typed.Sing

Methods

withSingI1 :: forall (x :: k0) r. SingI x => (SingI ('TMap k x) => r) -> r

SingI n => SingI ('TOption n :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TOption n)

SingI n => SingI ('TList n :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TList n)

SingI n => SingI ('TSet n :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TSet n)

SingI n => SingI ('TContract n :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TContract n)

SingI n => SingI ('TTicket n :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TTicket n)

(SingI n1, SingI n2) => SingI ('TPair n1 n2 :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TPair n1 n2)

(SingI n1, SingI n2) => SingI ('TOr n1 n2 :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TOr n1 n2)

(SingI n1, SingI n2) => SingI ('TLambda n1 n2 :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TLambda n1 n2)

(SingI n1, SingI n2) => SingI ('TMap n1 n2 :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TMap n1 n2)

(SingI n1, SingI n2) => SingI ('TBigMap n1 n2 :: T)

Defined in Michelson.Typed.Sing

Methods

sing :: Sing ('TBigMap n1 n2)

SingI t => CheckScope (ComparabilityScope t)

Defined in Michelson.Typed.Value

Methods

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

(SingI inp, SingI 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.15.1-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 "TTicket" '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 "TBls12381Fr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TBls12381G1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "TBls12381G2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TTimestamp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TAddress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TNever" '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 -> Ty

Converts from T to Type.

buildStack :: [T] -> Builder

Format type stack in a pretty way.