Safe Haskell | None |
---|---|
Language | Haskell2010 |
Michelson types represented in untyped model.
Synopsis
- data Type = Type ~T TypeAnn
- data T
- 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
Instances
Eq Type Source # | |
Data Type Source # | |
Defined in Michelson.Untyped.Type 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 # 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 # | |
Generic Type Source # | |
Lift Type Source # | |
ToJSON Type Source # | |
Defined in Michelson.Untyped.Type | |
FromJSON Type Source # | |
NFData Type Source # | |
Defined in Michelson.Untyped.Type | |
Buildable Type Source # | |
Defined in Michelson.Untyped.Type | |
RenderDoc Type Source # | |
Defined in Michelson.Untyped.Type | |
RenderDoc (Prettier Type) Source # | |
Defined in Michelson.Untyped.Type | |
type Rep Type Source # | |
Defined in Michelson.Untyped.Type type Rep Type = D1 ('MetaData "Type" "Michelson.Untyped.Type" "morley-1.8.1-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))) |
Instances
data ParameterType Source #
Since Babylon parameter type can have special root annotation.
Instances
tyImplicitAccountParam :: Type Source #
For implicit account, which type its parameter seems to have from outside.
isAtomicType :: Type -> Bool Source #
isSignature :: Type -> Bool Source #
isComparable :: Type -> Bool Source #
isTimestamp :: Type -> Bool Source #
renderType :: T -> Bool -> RenderContext -> AnnotationSet -> Doc Source #