Morley.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

TChest

TChestKey

TSaplingState Peano

TSaplingTransaction Peano

TTxRollupL2Address

TNever

Instances

Generic T

Defined in Morley.Michelson.Typed.T

Associated Types

type Rep T :: Type -> Type

Methods

from :: T -> Rep T x

to :: Rep T x -> T

Show T

Defined in Morley.Michelson.Typed.T

Methods

showsPrec :: Int -> T -> ShowS

show :: T -> String

showList :: [T] -> ShowS

NFData T

Defined in Morley.Michelson.Typed.T

Methods

rnf :: T -> ()

Buildable T

Defined in Morley.Michelson.Typed.T

Methods

build :: T -> Builder

Eq T

Defined in Morley.Michelson.Typed.T

Methods

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

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

ToExpression T

Defined in Morley.Micheline.Class

Methods

toExpression :: T -> Expression

RenderDoc T

Defined in Morley.Michelson.Typed.T

Methods

renderDoc :: RenderContext -> T -> Doc

isRenderable :: T -> Bool

SingKind T

Defined in Morley.Michelson.Typed.Sing

Associated Types

type Demote T = (r :: Type)

Methods

fromSing :: forall (a :: T). Sing a -> Demote T

toSing :: Demote T -> SomeSing T

(SDecide T, SDecide Peano) => SDecide T

Defined in Morley.Michelson.Typed.Sing

Methods

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

(SDecide T, SDecide Peano) => TestCoercion SingT

Defined in Morley.Michelson.Typed.Sing

Methods

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

(SDecide T, SDecide Peano) => TestEquality SingT

Defined in Morley.Michelson.Typed.Sing

Methods

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

FromExp x T

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp x -> Either (FromExpError x) T

SingI 'TAddress

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TAddress

SingI 'TBls12381Fr

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TBls12381Fr

SingI 'TBls12381G1

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TBls12381G1

SingI 'TBls12381G2

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TBls12381G2

SingI 'TBool

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TBool

SingI 'TBytes

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TBytes

SingI 'TChainId

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TChainId

SingI 'TChest

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TChest

SingI 'TChestKey

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TChestKey

SingI 'TInt

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TInt

SingI 'TKey

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TKey

SingI 'TKeyHash

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TKeyHash

SingI 'TMutez

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TMutez

SingI 'TNat

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TNat

SingI 'TNever

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TNever

SingI 'TOperation

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TOperation

SingI 'TSignature

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TSignature

SingI 'TString

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TString

SingI 'TTimestamp

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TTimestamp

SingI 'TTxRollupL2Address

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TTxRollupL2Address

SingI 'TUnit

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing 'TUnit

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TContract n)

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TList n)

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TOption n)

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TSaplingState n)

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TSaplingTransaction n)

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TSet n)

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TTicket n)

(SingI inp, SingI out) => FromExp RegularExp (Instr '[inp] '[out])

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp RegularExp -> Either (FromExpError RegularExp) (Instr '[inp] '[out])

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TBigMap n1 n2)

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TLambda n1 n2)

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TMap n1 n2)

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TOr n1 n2)

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

Defined in Morley.Michelson.Typed.Sing

Methods

sing :: Sing ('TPair n1 n2)

Buildable (MismatchError T)

Defined in Morley.Michelson.Typed.T

Methods

build :: MismatchError T -> Builder

Buildable (MismatchError [T])

Defined in Morley.Michelson.Typed.T

Methods

build :: MismatchError [T] -> Builder

RenderDoc (Prettier T)

Defined in Morley.Michelson.Typed.T

Methods

renderDoc :: RenderContext -> Prettier T -> Doc

isRenderable :: Prettier T -> Bool

RenderDoc (MismatchError T)

Defined in Morley.Michelson.Typed.T

Methods

renderDoc :: RenderContext -> MismatchError T -> Doc

isRenderable :: MismatchError T -> Bool

RenderDoc (MismatchError [T])

Defined in Morley.Michelson.Typed.T

Methods

renderDoc :: RenderContext -> MismatchError [T] -> Doc

isRenderable :: MismatchError [T] -> Bool

SingI t => CheckScope (ComparabilityScope t)

Defined in Morley.Michelson.Typed.Scope

Methods

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

type Rep T

Defined in Morley.Michelson.Typed.T

type Rep T = D1 ('MetaData "T" "Morley.Michelson.Typed.T" "morley-1.18.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 "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 "TChest" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "TChestKey" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TSaplingState" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Peano))) :+: (C1 ('MetaCons "TSaplingTransaction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Peano)) :+: (C1 ('MetaCons "TTxRollupL2Address" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TNever" 'PrefixI 'False) (U1 :: Type -> Type)))))))

type Demote T

Defined in Morley.Michelson.Typed.Sing

type Demote T = T

type Sing

Defined in Morley.Michelson.Typed.Sing

type Sing = SingT

toUType :: T -> Ty

Converts from T to Ty.

buildStack :: [T] -> Builder

Format type stack in a pretty way.