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 :: (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

Arbitrary Type

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen Type

shrink :: Type -> [Type]

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]

Buildable Type

Defined in Michelson.Untyped.Type

Methods

build :: Type -> Builder

ToADTArbitrary Type

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy Type -> Gen (ADTArbitrarySingleton Type)

toADTArbitrary :: Proxy Type -> Gen (ADTArbitrary Type)

RenderDoc Type

Defined in Michelson.Untyped.Type

Methods

renderDoc :: RenderContext -> Type -> Doc

isRenderable :: Type -> Bool

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.0.0-Jo9z4xumEmKBIsSgg9Z0MH" 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 Comparable

Constructors

Comparable CT TypeAnn

Instances

Eq Comparable

Defined in Michelson.Untyped.Type

Methods

(==) :: Comparable -> Comparable -> Bool

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

Data Comparable

Defined in Michelson.Untyped.Type

Methods

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

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

toConstr :: Comparable -> Constr

dataTypeOf :: Comparable -> DataType

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

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

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

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

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

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

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

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

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

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

Show Comparable

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> Comparable -> ShowS

show :: Comparable -> String

showList :: [Comparable] -> ShowS

Generic Comparable

Defined in Michelson.Untyped.Type

Associated Types

type Rep Comparable :: Type -> Type

Methods

from :: Comparable -> Rep Comparable x

to :: Rep Comparable x -> Comparable

Lift Comparable

Defined in Michelson.Untyped.Type

Methods

lift :: Comparable -> Q Exp

Arbitrary Comparable

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen Comparable

shrink :: Comparable -> [Comparable]

ToJSON Comparable

Defined in Michelson.Untyped.Type

Methods

toJSON :: Comparable -> Value

toEncoding :: Comparable -> Encoding

toJSONList :: [Comparable] -> Value

toEncodingList :: [Comparable] -> Encoding

FromJSON Comparable

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser Comparable

parseJSONList :: Value -> Parser [Comparable]

Buildable Comparable

Defined in Michelson.Untyped.Type

Methods

build :: Comparable -> Builder

ToADTArbitrary Comparable

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy Comparable -> Gen (ADTArbitrarySingleton Comparable)

toADTArbitrary :: Proxy Comparable -> Gen (ADTArbitrary Comparable)

RenderDoc Comparable

Defined in Michelson.Untyped.Type

Methods

renderDoc :: RenderContext -> Comparable -> Doc

isRenderable :: Comparable -> Bool

type Rep Comparable

Defined in Michelson.Untyped.Type

type Rep Comparable = D1 (MetaData "Comparable" "Michelson.Untyped.Type" "morley-1.0.0-Jo9z4xumEmKBIsSgg9Z0MH" False) (C1 (MetaCons "Comparable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 CT) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 TypeAnn)))

compToType :: Comparable -> Type

typeToComp :: Type -> Maybe Comparable

data T

Constructors

Tc CT

TKey

TUnit

TSignature

TChainId

TOption Type

TList Type

TSet Comparable

TOperation

TContract Type

TPair FieldAnn FieldAnn Type Type

TOr FieldAnn FieldAnn Type Type

TLambda Type Type

TMap Comparable Type

TBigMap Comparable Type

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 :: (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

Arbitrary T

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen T

shrink :: T -> [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]

Buildable T

Defined in Michelson.Untyped.Type

Methods

build :: T -> Builder

ToADTArbitrary T

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy T -> Gen (ADTArbitrarySingleton T)

toADTArbitrary :: Proxy T -> Gen (ADTArbitrary T)

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.0.0-Jo9z4xumEmKBIsSgg9Z0MH" False) (((C1 (MetaCons "Tc" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 CT)) :+: (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 Comparable)) :+: 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 Comparable) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Type)) :+: C1 (MetaCons "TBigMap" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Comparable) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Type))))))

data CT

Constructors

CInt

CNat

CString

CBytes

CMutez

CBool

CKeyHash

CTimestamp

CAddress

Instances

Bounded CT

Defined in Michelson.Untyped.Type

Methods

minBound :: CT

maxBound :: CT

Enum CT

Defined in Michelson.Untyped.Type

Methods

succ :: CT -> CT

pred :: CT -> CT

toEnum :: Int -> CT

fromEnum :: CT -> Int

enumFrom :: CT -> [CT]

enumFromThen :: CT -> CT -> [CT]

enumFromTo :: CT -> CT -> [CT]

enumFromThenTo :: CT -> CT -> CT -> [CT]

Eq CT

Defined in Michelson.Untyped.Type

Methods

(==) :: CT -> CT -> Bool

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

Data CT

Defined in Michelson.Untyped.Type

Methods

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

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

toConstr :: CT -> Constr

dataTypeOf :: CT -> DataType

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

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

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

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

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

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

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

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

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

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

Ord CT

Defined in Michelson.Untyped.Type

Methods

compare :: CT -> CT -> Ordering

(<) :: CT -> CT -> Bool

(<=) :: CT -> CT -> Bool

(>) :: CT -> CT -> Bool

(>=) :: CT -> CT -> Bool

max :: CT -> CT -> CT

min :: CT -> CT -> CT

Show CT

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> CT -> ShowS

show :: CT -> String

showList :: [CT] -> ShowS

Generic CT

Defined in Michelson.Untyped.Type

Associated Types

type Rep CT :: Type -> Type

Methods

from :: CT -> Rep CT x

to :: Rep CT x -> CT

Lift CT

Defined in Michelson.Untyped.Type

Methods

lift :: CT -> Q Exp

Arbitrary CT

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen CT

shrink :: CT -> [CT]

ToJSON CT

Defined in Michelson.Untyped.Type

Methods

toJSON :: CT -> Value

toEncoding :: CT -> Encoding

toJSONList :: [CT] -> Value

toEncodingList :: [CT] -> Encoding

FromJSON CT

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser CT

parseJSONList :: Value -> Parser [CT]

Buildable CT

Defined in Michelson.Untyped.Type

Methods

build :: CT -> Builder

ToADTArbitrary CT

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy CT -> Gen (ADTArbitrarySingleton CT)

toADTArbitrary :: Proxy CT -> Gen (ADTArbitrary CT)

SingKind CT

Defined in Michelson.Typed.Sing

Associated Types

type Demote CT = (r :: Type)

Methods

fromSing :: Sing a -> Demote CT

toSing :: Demote CT -> SomeSing CT

RenderDoc CT

Defined in Michelson.Untyped.Type

Methods

renderDoc :: RenderContext -> CT -> Doc

isRenderable :: CT -> Bool

SingI CInt

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CInt

SingI CNat

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CNat

SingI CString

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CString

SingI CBytes

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CBytes

SingI CMutez

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CMutez

SingI CBool

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CBool

SingI CKeyHash

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CKeyHash

SingI CTimestamp

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CTimestamp

SingI CAddress

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CAddress

type Rep CT

Defined in Michelson.Untyped.Type

type Rep CT = D1 (MetaData "CT" "Michelson.Untyped.Type" "morley-1.0.0-Jo9z4xumEmKBIsSgg9Z0MH" False) (((C1 (MetaCons "CInt" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CNat" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CString" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CBytes" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "CMutez" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CBool" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CKeyHash" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CTimestamp" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CAddress" PrefixI False) (U1 :: Type -> Type)))))

data Sing (a :: CT)

Instance of data family Sing for CT.

Defined in Michelson.Typed.Sing

data Sing (a :: CT) where

• SCInt :: forall (a :: CT). Sing CInt
• SCNat :: forall (a :: CT). Sing CNat
• SCString :: forall (a :: CT). Sing CString
• SCBytes :: forall (a :: CT). Sing CBytes
• SCMutez :: forall (a :: CT). Sing CMutez
• SCBool :: forall (a :: CT). Sing CBool
• SCKeyHash :: forall (a :: CT). Sing CKeyHash
• SCTimestamp :: forall (a :: CT). Sing CTimestamp
• SCAddress :: forall (a :: CT). Sing CAddress

type Demote CT

Defined in Michelson.Typed.Sing

type Demote CT = CT

pattern Tint :: T

pattern Tnat :: T

pattern Tstring :: T

pattern Tbytes :: T

pattern Tmutez :: T

pattern Tbool :: T

pattern Tkey_hash :: T

pattern Ttimestamp :: T

pattern Taddress :: T

tint :: T

tnat :: T

tstring :: T

tbytes :: T

tmutez :: T

tbool :: T

tkeyHash :: T

ttimestamp :: T

taddress :: T

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