Michelson.Untyped.Type

Michelson types represented in untyped model.

Documentation

data Type

Constructors

Type ~T TypeAnn

Instances

Eq Type

Defined in Michelson.Untyped.Type

Methods

(==) :: Type -> Type -> Bool

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

Data Type

Defined in Michelson.Untyped.Type

Methods

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

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

toConstr :: Type -> Constr

dataTypeOf :: Type -> DataType

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

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

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

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

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

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

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

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

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

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

Show Type

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Generic Type

Defined in Michelson.Untyped.Type

Associated Types

type Rep Type :: Type -> Type

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

Lift Type

Defined in Michelson.Untyped.Type

Methods

lift :: Type -> Q Exp

ToJSON Type

Defined in Michelson.Untyped.Type

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

FromJSON Type

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser Type

parseJSONList :: Value -> Parser [Type]

NFData Type

Defined in Michelson.Untyped.Type

Methods

rnf :: Type -> ()

Buildable Type

Defined in Michelson.Untyped.Type

Methods

build :: Type -> Builder

RenderDoc Type

Defined in Michelson.Untyped.Type

Methods

renderDoc :: RenderContext -> Type -> Doc

isRenderable :: Type -> Bool

FromExpression Type

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Either FromExpressionError Type

ToExpression Type

Defined in Morley.Micheline.Class

Methods

toExpression :: Type -> Expression

RenderDoc (Prettier Type)

Defined in Michelson.Untyped.Type

Methods

renderDoc :: RenderContext -> Prettier Type -> Doc

isRenderable :: Prettier Type -> Bool

type Rep Type

Defined in Michelson.Untyped.Type

type Rep Type = D1 ('MetaData "Type" "Michelson.Untyped.Type" "morley-1.12.0-inplace" 'False) (C1 ('MetaCons "Type" '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 Type

TList Type

TSet Type

TOperation

TContract Type

TPair FieldAnn FieldAnn Type Type

TOr FieldAnn FieldAnn Type Type

TLambda Type Type

TMap Type Type

TBigMap Type Type

TInt

TNat

TString

TBytes

TMutez

TBool

TKeyHash

TTimestamp

TAddress

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

Lift T

Defined in Michelson.Untyped.Type

Methods

lift :: T -> Q Exp

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

type Rep T

Defined in Michelson.Untyped.Type

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

data ParameterType

Since Babylon parameter type can have special root annotation.

Constructors

ParameterType Type 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

Lift ParameterType

Defined in Michelson.Untyped.Type

Methods

lift :: ParameterType -> Q Exp

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

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.12.0-inplace" 'False) (C1 ('MetaCons "ParameterType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RootAnn)))

toption :: Type -> T

tpair :: Type -> Type -> T

tor :: Type -> Type -> T

tyint :: Type

tynat :: Type

tyunit :: Type

tybool :: Type

typair :: Type -> Type -> Type

tyor :: Type -> Type -> Type

tyImplicitAccountParam :: Type

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

isAtomicType :: Type -> Bool

isKey :: Type -> Bool

isSignature :: Type -> Bool

isComparable :: Type -> Bool

isMutez :: Type -> Bool

isKeyHash :: Type -> Bool

isBool :: Type -> Bool

isString :: Type -> Bool

isInteger :: Type -> Bool

isTimestamp :: Type -> Bool

isNat :: Type -> Bool

isInt :: Type -> Bool

isBytes :: Type -> Bool

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

unwrapT :: Type -> T