Safe Haskell	None
Language	Haskell2010

Michelson.Untyped.Type

Description

Michelson types represented in untyped model.

Synopsis

data Type = Type ~T TypeAnn
data T
- = 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
data ParameterType = ParameterType Type 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
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

Documentation

data Type Source #

Constructors

Type ~T TypeAnn

Instances

Instances details

Eq Type Source #
Instance details Defined in Michelson.Untyped.Type Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Data Type Source #
Instance details 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 Source #
Instance details Defined in Michelson.Untyped.Type Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Generic Type Source #
Instance details 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 Source #
Instance details Defined in Michelson.Untyped.Type Methods lift :: Type -> Q Exp #
Arbitrary Type Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen Type # shrink :: Type -> [Type] #
ToJSON Type Source #
Instance details Defined in Michelson.Untyped.Type Methods toJSON :: Type -> Value # toEncoding :: Type -> Encoding # toJSONList :: [Type] -> Value # toEncodingList :: [Type] -> Encoding #
FromJSON Type Source #
Instance details Defined in Michelson.Untyped.Type Methods parseJSON :: Value -> Parser Type # parseJSONList :: Value -> Parser [Type] #
NFData Type Source #
Instance details Defined in Michelson.Untyped.Type Methods rnf :: Type -> () #
Buildable Type Source #
Instance details Defined in Michelson.Untyped.Type Methods build :: Type -> Builder #
ToADTArbitrary Type Source #
Instance details Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy Type -> Gen (ADTArbitrarySingleton Type) # toADTArbitrary :: Proxy Type -> Gen (ADTArbitrary Type) #
RenderDoc Type Source #
Instance details Defined in Michelson.Untyped.Type Methods renderDoc :: RenderContext -> Type -> Doc Source # isRenderable :: Type -> Bool Source #
RenderDoc (Prettier Type) Source #
Instance details Defined in Michelson.Untyped.Type Methods renderDoc :: RenderContext -> Prettier Type -> Doc Source # isRenderable :: Prettier Type -> Bool Source #
type Rep Type Source #
Instance details Defined in Michelson.Untyped.Type type Rep Type = D1 ('MetaData "Type" "Michelson.Untyped.Type" "morley-1.7.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 Source #

Instances

Instances details

Eq T Source #
Instance details Defined in Michelson.Untyped.Type Methods (==) :: T -> T -> Bool # (/=) :: T -> T -> Bool #
Data T Source #
Instance details 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 Source #
Instance details Defined in Michelson.Untyped.Type Methods showsPrec :: Int -> T -> ShowS # show :: T -> String # showList :: [T] -> ShowS #
Generic T Source #
Instance details 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 Source #
Instance details Defined in Michelson.Untyped.Type Methods lift :: T -> Q Exp #
Arbitrary T Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen T # shrink :: T -> [T] #
ToJSON T Source #
Instance details Defined in Michelson.Untyped.Type Methods toJSON :: T -> Value # toEncoding :: T -> Encoding # toJSONList :: [T] -> Value # toEncodingList :: [T] -> Encoding #
FromJSON T Source #
Instance details Defined in Michelson.Untyped.Type Methods parseJSON :: Value -> Parser T # parseJSONList :: Value -> Parser [T] #
NFData T Source #
Instance details Defined in Michelson.Untyped.Type Methods rnf :: T -> () #
Buildable T Source #
Instance details Defined in Michelson.Untyped.Type Methods build :: T -> Builder #
ToADTArbitrary T Source #
Instance details Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy T -> Gen (ADTArbitrarySingleton T) # toADTArbitrary :: Proxy T -> Gen (ADTArbitrary T) #
RenderDoc T Source #
Instance details Defined in Michelson.Untyped.Type Methods renderDoc :: RenderContext -> T -> Doc Source # isRenderable :: T -> Bool Source #
type Rep T Source #
Instance details Defined in Michelson.Untyped.Type type Rep T = D1 ('MetaData "T" "Michelson.Untyped.Type" "morley-1.7.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 Source #

Since Babylon parameter type can have special root annotation.

Constructors

ParameterType Type RootAnn

Instances

Instances details

Eq ParameterType Source #
Instance details Defined in Michelson.Untyped.Type Methods (==) :: ParameterType -> ParameterType -> Bool # (/=) :: ParameterType -> ParameterType -> Bool #
Data ParameterType Source #
Instance details 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 Source #
Instance details Defined in Michelson.Untyped.Type Methods showsPrec :: Int -> ParameterType -> ShowS # show :: ParameterType -> String # showList :: [ParameterType] -> ShowS #
Generic ParameterType Source #
Instance details 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 Source #
Instance details Defined in Michelson.Untyped.Type Methods lift :: ParameterType -> Q Exp #
Arbitrary ParameterType Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen ParameterType # shrink :: ParameterType -> [ParameterType] #
ToJSON ParameterType Source #
Instance details Defined in Michelson.Untyped.Type Methods toJSON :: ParameterType -> Value # toEncoding :: ParameterType -> Encoding # toJSONList :: [ParameterType] -> Value # toEncodingList :: [ParameterType] -> Encoding #
FromJSON ParameterType Source #
Instance details Defined in Michelson.Untyped.Type Methods parseJSON :: Value -> Parser ParameterType # parseJSONList :: Value -> Parser [ParameterType] #
NFData ParameterType Source #
Instance details Defined in Michelson.Untyped.Type Methods rnf :: ParameterType -> () #
Buildable ParameterType Source #
Instance details Defined in Michelson.Untyped.Type Methods build :: ParameterType -> Builder #
ToADTArbitrary ParameterType Source #
Instance details Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy ParameterType -> Gen (ADTArbitrarySingleton ParameterType) # toADTArbitrary :: Proxy ParameterType -> Gen (ADTArbitrary ParameterType) #
RenderDoc ParameterType Source #
Instance details Defined in Michelson.Untyped.Type Methods renderDoc :: RenderContext -> ParameterType -> Doc Source # isRenderable :: ParameterType -> Bool Source #
RenderDoc (Prettier ParameterType) Source #
Instance details Defined in Michelson.Untyped.Type Methods renderDoc :: RenderContext -> Prettier ParameterType -> Doc Source # isRenderable :: Prettier ParameterType -> Bool Source #
type Rep ParameterType Source #
Instance details Defined in Michelson.Untyped.Type type Rep ParameterType = D1 ('MetaData "ParameterType" "Michelson.Untyped.Type" "morley-1.7.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 Source #

tpair :: Type -> Type -> T Source #

tor :: Type -> Type -> T Source #

tyint :: Type Source #

tynat :: Type Source #

tyunit :: Type Source #

tybool :: Type Source #

typair :: Type -> Type -> Type Source #

tyor :: Type -> Type -> Type Source #

tyImplicitAccountParam :: Type Source #

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

isAtomicType :: Type -> Bool Source #

isKey :: Type -> Bool Source #

isSignature :: Type -> Bool Source #

isComparable :: Type -> Bool Source #

isMutez :: Type -> Bool Source #

isKeyHash :: Type -> Bool Source #

isBool :: Type -> Bool Source #

isString :: Type -> Bool Source #

isInteger :: Type -> Bool Source #

isTimestamp :: Type -> Bool Source #

isNat :: Type -> Bool Source #

isInt :: Type -> Bool Source #

isBytes :: Type -> Bool Source #

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

unwrapT :: Type -> T Source #

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