Michelson.Untyped.Type

Michelson types represented in untyped model.

Documentation

data Ty

Constructors

Ty ~T TypeAnn

Instances

Eq Ty

Defined in Michelson.Untyped.Type

Methods

(==) :: Ty -> Ty -> Bool

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

Data Ty

Defined in Michelson.Untyped.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ty -> c Ty

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ty

toConstr :: Ty -> Constr

dataTypeOf :: Ty -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ty)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ty)

gmapT :: (forall b. Data b => b -> b) -> Ty -> Ty

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ty -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ty -> r

gmapQ :: (forall d. Data d => d -> u) -> Ty -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ty -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ty -> m Ty

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ty -> m Ty

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ty -> m Ty

Show Ty

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> Ty -> ShowS

show :: Ty -> String

showList :: [Ty] -> ShowS

Generic Ty

Defined in Michelson.Untyped.Type

Associated Types

type Rep Ty :: Type -> Type

Methods

from :: Ty -> Rep Ty x

to :: Rep Ty x -> Ty

ToJSON Ty

Defined in Michelson.Untyped.Type

Methods

toJSON :: Ty -> Value

toEncoding :: Ty -> Encoding

toJSONList :: [Ty] -> Value

toEncodingList :: [Ty] -> Encoding

FromJSON Ty

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser Ty

parseJSONList :: Value -> Parser [Ty]

NFData Ty

Defined in Michelson.Untyped.Type

Methods

rnf :: Ty -> ()

Buildable Ty

Defined in Michelson.Untyped.Type

Methods

build :: Ty -> Builder

RenderDoc Ty

Defined in Michelson.Untyped.Type

Methods

renderDoc :: RenderContext -> Ty -> Doc

isRenderable :: Ty -> Bool

FromExpression Ty

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Either FromExpressionError Ty

ToExpression Ty

Defined in Morley.Micheline.Class

Methods

toExpression :: Ty -> Expression

Lift Ty

Defined in Michelson.Untyped.Type

Methods

lift :: Ty -> Q Exp

liftTyped :: Ty -> Q (TExp Ty)

RenderDoc (Prettier Ty)

Defined in Michelson.Untyped.Type

Methods

renderDoc :: RenderContext -> Prettier Ty -> Doc

isRenderable :: Prettier Ty -> Bool

type Rep Ty

Defined in Michelson.Untyped.Type

type Rep Ty = D1 ('MetaData "Ty" "Michelson.Untyped.Type" "morley-1.15.1-inplace" 'False) (C1 ('MetaCons "Ty" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 T) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TypeAnn)))

data T

Constructors

TKey

TUnit

TSignature

TChainId

TOption Ty

TList Ty

TSet Ty

TOperation

TContract Ty

TTicket Ty

TPair FieldAnn FieldAnn VarAnn VarAnn Ty Ty

TOr FieldAnn FieldAnn Ty Ty

TLambda Ty Ty

TMap Ty Ty

TBigMap Ty Ty

TInt

TNat

TString

TBytes

TMutez

TBool

TKeyHash

TBls12381Fr

TBls12381G1

TBls12381G2

TTimestamp

TAddress

TNever

Instances

Eq T

Defined in Michelson.Untyped.Type

Methods

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

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

Data T

Defined in Michelson.Untyped.Type

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

Show T

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> T -> ShowS

show :: T -> String

showList :: [T] -> ShowS

Generic T

Defined in Michelson.Untyped.Type

Associated Types

type Rep T :: Type -> Type

Methods

from :: T -> Rep T x

to :: Rep T x -> T

ToJSON T

Defined in Michelson.Untyped.Type

Methods

toJSON :: T -> Value

toEncoding :: T -> Encoding

toJSONList :: [T] -> Value

toEncodingList :: [T] -> Encoding

FromJSON T

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser T

parseJSONList :: Value -> Parser [T]

NFData T

Defined in Michelson.Untyped.Type

Methods

rnf :: T -> ()

Buildable T

Defined in Michelson.Untyped.Type

Methods

build :: T -> Builder

RenderDoc T

Defined in Michelson.Untyped.Type

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

Lift T

Defined in Michelson.Untyped.Type

Methods

lift :: T -> Q Exp

liftTyped :: T -> Q (TExp T)

type Rep T

Defined in Michelson.Untyped.Type

type Rep T = D1 ('MetaData "T" "Michelson.Untyped.Type" "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 Ty))) :+: (C1 ('MetaCons "TList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)) :+: C1 ('MetaCons "TSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty))))) :+: ((C1 ('MetaCons "TOperation" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TContract" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)) :+: C1 ('MetaCons "TTicket" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)))) :+: ((C1 ('MetaCons "TPair" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FieldAnn) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FieldAnn) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VarAnn))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VarAnn) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)))) :+: C1 ('MetaCons "TOr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FieldAnn) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FieldAnn)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)))) :+: (C1 ('MetaCons "TLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)) :+: C1 ('MetaCons "TMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)))))) :+: (((C1 ('MetaCons "TBigMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)) :+: (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))))))

data ParameterType

Since Babylon parameter type can have special root annotation.

Constructors

ParameterType Ty RootAnn

Instances

Eq ParameterType

Defined in Michelson.Untyped.Type

Methods

(==) :: ParameterType -> ParameterType -> Bool

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

Data ParameterType

Defined in Michelson.Untyped.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParameterType -> c ParameterType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ParameterType

toConstr :: ParameterType -> Constr

dataTypeOf :: ParameterType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ParameterType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ParameterType)

gmapT :: (forall b. Data b => b -> b) -> ParameterType -> ParameterType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParameterType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParameterType -> r

gmapQ :: (forall d. Data d => d -> u) -> ParameterType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ParameterType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParameterType -> m ParameterType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParameterType -> m ParameterType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParameterType -> m ParameterType

Show ParameterType

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> ParameterType -> ShowS

show :: ParameterType -> String

showList :: [ParameterType] -> ShowS

Generic ParameterType

Defined in Michelson.Untyped.Type

Associated Types

type Rep ParameterType :: Type -> Type

Methods

from :: ParameterType -> Rep ParameterType x

to :: Rep ParameterType x -> ParameterType

ToJSON ParameterType

Defined in Michelson.Untyped.Type

Methods

toJSON :: ParameterType -> Value

toEncoding :: ParameterType -> Encoding

toJSONList :: [ParameterType] -> Value

toEncodingList :: [ParameterType] -> Encoding

FromJSON ParameterType

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser ParameterType

parseJSONList :: Value -> Parser [ParameterType]

NFData ParameterType

Defined in Michelson.Untyped.Type

Methods

rnf :: ParameterType -> ()

Buildable ParameterType

Defined in Michelson.Untyped.Type

Methods

build :: ParameterType -> Builder

RenderDoc ParameterType

Defined in Michelson.Untyped.Type

Methods

renderDoc :: RenderContext -> ParameterType -> Doc

isRenderable :: ParameterType -> Bool

Lift ParameterType

Defined in Michelson.Untyped.Type

Methods

lift :: ParameterType -> Q Exp

liftTyped :: ParameterType -> Q (TExp ParameterType)

RenderDoc (Prettier ParameterType)

Defined in Michelson.Untyped.Type

Methods

renderDoc :: RenderContext -> Prettier ParameterType -> Doc

isRenderable :: Prettier ParameterType -> Bool

type Rep ParameterType

Defined in Michelson.Untyped.Type

type Rep ParameterType = D1 ('MetaData "ParameterType" "Michelson.Untyped.Type" "morley-1.15.1-inplace" 'False) (C1 ('MetaCons "ParameterType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RootAnn)))

toption :: Ty -> T

tpair :: Ty -> Ty -> T

tor :: Ty -> Ty -> T

tyint :: Ty

tynat :: Ty

tyunit :: Ty

tybool :: Ty

typair :: Ty -> Ty -> Ty

tyor :: Ty -> Ty -> Ty

tyImplicitAccountParam :: Ty

For implicit account, which Ty its parameter seems to have from outside.

isAtomicType :: Ty -> Bool

isKey :: Ty -> Bool

isSignature :: Ty -> Bool

isComparable :: Ty -> Bool

isMutez :: Ty -> Bool

isKeyHash :: Ty -> Bool

isBool :: Ty -> Bool

isString :: Ty -> Bool

isInteger :: Ty -> Bool

isTimestamp :: Ty -> Bool

isNat :: Ty -> Bool

isInt :: Ty -> Bool

isBytes :: Ty -> Bool

renderType :: T -> Bool -> RenderContext -> AnnotationSet -> Doc

unwrapT :: Ty -> T