Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.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
- | 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
- | TNever
toUType :: T -> Ty
buildStack :: [T] -> Doc

Documentation

data T Source #

Michelson language type with annotations stripped off.

Instances

Instances details

Data T Source #
Instance details Defined in Morley.Michelson.Typed.T Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> T -> c T # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c T # toConstr :: T -> Constr # dataTypeOf :: T -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c T) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c T) # gmapT :: (forall b. Data b => b -> b) -> T -> T # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> T -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> T -> r # gmapQ :: (forall d. Data d => d -> u) -> T -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> T -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> T -> m T # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> T -> m T # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> T -> m T #
Generic T Source #
Instance details 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 Source #
Instance details Defined in Morley.Michelson.Typed.T Methods showsPrec :: Int -> T -> ShowS # show :: T -> String # showList :: [T] -> ShowS #
NFData T Source #
Instance details Defined in Morley.Michelson.Typed.T Methods rnf :: T -> () #
Eq T Source #
Instance details Defined in Morley.Michelson.Typed.T Methods (==) :: T -> T -> Bool # (/=) :: T -> T -> Bool #
ToExpression T Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: T -> Expression Source #
RenderDoc T Source #
Instance details Defined in Morley.Michelson.Typed.T Methods renderDoc :: RenderContext -> T -> Doc Source # isRenderable :: T -> Bool Source #
Buildable T Source #
Instance details Defined in Morley.Michelson.Typed.T Methods build :: T -> Doc buildList :: [T] -> Doc
SingKind T Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods testEquality :: forall (a :: k) (b :: k). SingT a -> SingT b -> Maybe (a :~: b) #
FromExp x T Source #
Instance details Defined in Morley.Micheline.Class Methods fromExp :: Exp x -> Either (FromExpError x) T Source #
SingI 'TAddress Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TAddress #
SingI 'TBls12381Fr Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TBls12381Fr #
SingI 'TBls12381G1 Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TBls12381G1 #
SingI 'TBls12381G2 Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TBls12381G2 #
SingI 'TBool Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TBool #
SingI 'TBytes Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TBytes #
SingI 'TChainId Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TChainId #
SingI 'TChest Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TChest #
SingI 'TChestKey Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TChestKey #
SingI 'TInt Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TInt #
SingI 'TKey Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TKey #
SingI 'TKeyHash Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TKeyHash #
SingI 'TMutez Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TMutez #
SingI 'TNat Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TNat #
SingI 'TNever Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TNever #
SingI 'TOperation Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TOperation #
SingI 'TSignature Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TSignature #
SingI 'TString Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TString #
SingI 'TTimestamp Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TTimestamp #
SingI 'TUnit Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing 'TUnit #
SingI1 'TContract Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TContract x) #
SingI1 'TList Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TList x) #
SingI1 'TOption Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TOption x) #
SingI1 'TSet Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TSet x) #
SingI1 'TTicket Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TTicket x) #
SingI1 'TSaplingState Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TSaplingState x) #
SingI1 'TSaplingTransaction Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TSaplingTransaction x) #
SingI2 'TBigMap Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing ('TBigMap x y) #
SingI2 'TLambda Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing ('TLambda x y) #
SingI2 'TMap Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing ('TMap x y) #
SingI2 'TOr Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing ('TOr x y) #
SingI2 'TPair Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing ('TPair x y) #
SingI n => SingI1 ('TBigMap n :: T -> T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TBigMap n x) #
SingI n => SingI1 ('TLambda n :: T -> T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TLambda n x) #
SingI n => SingI1 ('TMap n :: T -> T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TMap n x) #
SingI n => SingI1 ('TOr n :: T -> T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TOr n x) #
SingI n => SingI1 ('TPair n :: T -> T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods liftSing :: forall (x :: k1). Sing x -> Sing ('TPair n x) #
SingI n => SingI ('TContract n :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TContract n) #
SingI n => SingI ('TList n :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TList n) #
SingI n => SingI ('TOption n :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TOption n) #
SingI n => SingI ('TSaplingState n :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TSaplingState n) #
SingI n => SingI ('TSaplingTransaction n :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TSaplingTransaction n) #
SingI n => SingI ('TSet n :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TSet n) #
SingI n => SingI ('TTicket n :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TTicket n) #
(forall (t :: T). Eq (meta t)) => GEq (StkEl meta :: T -> Type) Source #
Instance details Defined in Morley.Michelson.Interpret Methods geq :: forall (a :: k) (b :: k). StkEl meta a -> StkEl meta b -> Maybe (a :~: b) #
GEq (Value' instr :: T -> Type) Source #
Instance details Defined in Morley.Michelson.Typed.Value Methods geq :: forall (a :: k) (b :: k). Value' instr a -> Value' instr b -> Maybe (a :~: b) #
(WhenStuck t (TypeError (ForbidManyTStuckErr c ps' t) :: Constraint), FailWhen a (ForbidTErrorMsg p t)) => DelayedContainsTCheck (c :: Constraint) (ps' :: [TPredicateSym]) (p :: TPredicateSym) (t :: T) a Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.ForbidT
(SingI inp, SingI out) => FromExp RegularExp (Instr '[inp] '[out]) Source #
Instance details Defined in Morley.Micheline.Class Methods fromExp :: Exp RegularExp -> Either (FromExpError RegularExp) (Instr '[inp] '[out]) Source #
(SingI n1, SingI n2) => SingI ('TBigMap n1 n2 :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TBigMap n1 n2) #
(SingI n1, SingI n2) => SingI ('TLambda n1 n2 :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TLambda n1 n2) #
(SingI n1, SingI n2) => SingI ('TMap n1 n2 :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TMap n1 n2) #
(SingI n1, SingI n2) => SingI ('TOr n1 n2 :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TOr n1 n2) #
(SingI n1, SingI n2) => SingI ('TPair n1 n2 :: T) Source #
Instance details Defined in Morley.Michelson.Typed.Sing Methods sing :: Sing ('TPair n1 n2) #
(forall (t :: T). cs t => ForbidOp t) => RenderDoc (SomeConstrainedValue cs) Source #
Instance details Defined in Morley.Michelson.Typed.Existential Methods renderDoc :: RenderContext -> SomeConstrainedValue cs -> Doc Source # isRenderable :: SomeConstrainedValue cs -> Bool Source #
Buildable (MismatchError T) Source #
Instance details Defined in Morley.Michelson.Typed.T Methods build :: MismatchError T -> Doc buildList :: [MismatchError T] -> Doc
Buildable (MismatchError [T]) Source #
Instance details Defined in Morley.Michelson.Typed.T Methods build :: MismatchError [T] -> Doc buildList :: [MismatchError [T]] -> Doc
Applicative m => StkElMeta (NoStkElMeta :: T -> Type) m Source #
Instance details Defined in Morley.Michelson.Interpret Methods mkStkElMeta :: forall (t :: T). Maybe (NoStkElMeta t) -> Value t -> m (NoStkElMeta t) Source #
type Rep T Source #
Instance details Defined in Morley.Michelson.Typed.T type Rep T = D1 ('MetaData "T" "Morley.Michelson.Typed.T" "morley-1.20.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 "TNever" 'PrefixI 'False) (U1 :: Type -> Type))))))
type Demote T Source #
Instance details Defined in Morley.Michelson.Typed.Sing type Demote T = T
type Sing Source #
Instance details Defined in Morley.Michelson.Typed.Sing type Sing = SingT

toUType :: T -> Ty Source #

Converts from T to Ty.

buildStack :: [T] -> Doc Source #

Format type stack in a pretty way.

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
TNever