Michelson.Untyped

Documentation

data Value op

Constructors

ValueInt Integer

ValueString Text

ValueBytes InternalByteString

ValueUnit

ValueTrue

ValueFalse

ValuePair (Value op) (Value op)

ValueLeft (Value op)

ValueRight (Value op)

ValueSome (Value op)

ValueNone

ValueNil

ValueSeq (NonEmpty $ Value op)

A sequence of elements: can be a list or a set. We can't distinguish lists and sets during parsing.

ValueMap (NonEmpty $ Elt op)

ValueLambda (NonEmpty op)

Instances

Functor Value

Defined in Michelson.Untyped.Value

Methods

fmap :: (a -> b) -> Value a -> Value b

(<$) :: a -> Value b -> Value a

Eq op => Eq (Value op)

Defined in Michelson.Untyped.Value

Methods

(==) :: Value op -> Value op -> Bool

(/=) :: Value op -> Value op -> Bool

Data op => Data (Value op)

Defined in Michelson.Untyped.Value

Methods

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

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

toConstr :: Value op -> Constr

dataTypeOf :: Value op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Value op -> Value op

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

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

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

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

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

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

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

Show op => Show (Value op)

Defined in Michelson.Untyped.Value

Methods

showsPrec :: Int -> Value op -> ShowS

show :: Value op -> String

showList :: [Value op] -> ShowS

Generic (Value op)

Defined in Michelson.Untyped.Value

Associated Types

type Rep (Value op) :: Type -> Type

Methods

from :: Value op -> Rep (Value op) x

to :: Rep (Value op) x -> Value op

ToJSON op => ToJSON (Value op)

Defined in Michelson.Untyped.Value

Methods

toJSON :: Value op -> Value0

toEncoding :: Value op -> Encoding

toJSONList :: [Value op] -> Value0

toEncodingList :: [Value op] -> Encoding

FromJSON op => FromJSON (Value op)

Defined in Michelson.Untyped.Value

Methods

parseJSON :: Value0 -> Parser (Value op)

parseJSONList :: Value0 -> Parser [Value op]

RenderDoc op => Buildable (Value op)

Defined in Michelson.Untyped.Value

Methods

build :: Value op -> Builder

RenderDoc op => RenderDoc (Value op)

Defined in Michelson.Untyped.Value

Methods

renderDoc :: Value op -> Doc

isRenderable :: Value op -> Bool

type Rep (Value op)

Defined in Michelson.Untyped.Value

type Rep (Value op) = D1 (MetaData "Value" "Michelson.Untyped.Value" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" False) (((C1 (MetaCons "ValueInt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: (C1 (MetaCons "ValueString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "ValueBytes" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InternalByteString)))) :+: ((C1 (MetaCons "ValueUnit" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ValueTrue" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ValueFalse" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ValuePair" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op)))))) :+: (((C1 (MetaCons "ValueLeft" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op))) :+: C1 (MetaCons "ValueRight" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op)))) :+: (C1 (MetaCons "ValueSome" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op))) :+: C1 (MetaCons "ValueNone" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "ValueNil" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ValueSeq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty $ Value op)))) :+: (C1 (MetaCons "ValueMap" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty $ Elt op))) :+: C1 (MetaCons "ValueLambda" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty op)))))))

data Elt op

Constructors

Elt (Value op) (Value op)

Instances

Functor Elt

Defined in Michelson.Untyped.Value

Methods

fmap :: (a -> b) -> Elt a -> Elt b

(<$) :: a -> Elt b -> Elt a

Eq op => Eq (Elt op)

Defined in Michelson.Untyped.Value

Methods

(==) :: Elt op -> Elt op -> Bool

(/=) :: Elt op -> Elt op -> Bool

Data op => Data (Elt op)

Defined in Michelson.Untyped.Value

Methods

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

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

toConstr :: Elt op -> Constr

dataTypeOf :: Elt op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Elt op -> Elt op

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

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

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

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

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

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

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

Show op => Show (Elt op)

Defined in Michelson.Untyped.Value

Methods

showsPrec :: Int -> Elt op -> ShowS

show :: Elt op -> String

showList :: [Elt op] -> ShowS

Generic (Elt op)

Defined in Michelson.Untyped.Value

Associated Types

type Rep (Elt op) :: Type -> Type

Methods

from :: Elt op -> Rep (Elt op) x

to :: Rep (Elt op) x -> Elt op

ToJSON op => ToJSON (Elt op)

Defined in Michelson.Untyped.Value

Methods

toJSON :: Elt op -> Value

toEncoding :: Elt op -> Encoding

toJSONList :: [Elt op] -> Value

toEncodingList :: [Elt op] -> Encoding

FromJSON op => FromJSON (Elt op)

Defined in Michelson.Untyped.Value

Methods

parseJSON :: Value -> Parser (Elt op)

parseJSONList :: Value -> Parser [Elt op]

RenderDoc op => Buildable (Elt op)

Defined in Michelson.Untyped.Value

Methods

build :: Elt op -> Builder

RenderDoc op => RenderDoc (Elt op)

Defined in Michelson.Untyped.Value

Methods

renderDoc :: Elt op -> Doc

isRenderable :: Elt op -> Bool

type Rep (Elt op)

Defined in Michelson.Untyped.Value

type Rep (Elt op) = D1 (MetaData "Elt" "Michelson.Untyped.Value" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" False) (C1 (MetaCons "Elt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op))))

newtype InternalByteString

ByteString does not have an instance for ToJSON and FromJSON, to avoid orphan type class instances, make a new type wrapper around it.

Constructors

InternalByteString ByteString

Instances

Eq InternalByteString

Defined in Michelson.Untyped.Value

Methods

(==) :: InternalByteString -> InternalByteString -> Bool

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

Data InternalByteString

Defined in Michelson.Untyped.Value

Methods

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

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

toConstr :: InternalByteString -> Constr

dataTypeOf :: InternalByteString -> DataType

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

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

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

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

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

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

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

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

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

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

Show InternalByteString

Defined in Michelson.Untyped.Value

Methods

showsPrec :: Int -> InternalByteString -> ShowS

show :: InternalByteString -> String

showList :: [InternalByteString] -> ShowS

ToJSON InternalByteString

Defined in Michelson.Untyped.Value

Methods

toJSON :: InternalByteString -> Value

toEncoding :: InternalByteString -> Encoding

toJSONList :: [InternalByteString] -> Value

toEncodingList :: [InternalByteString] -> Encoding

FromJSON InternalByteString

Defined in Michelson.Untyped.Value

Methods

parseJSON :: Value -> Parser InternalByteString

parseJSONList :: Value -> Parser [InternalByteString]

unInternalByteString :: InternalByteString -> ByteString

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

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

RenderDoc Type

Defined in Michelson.Untyped.Type

Methods

renderDoc :: Type -> Doc

isRenderable :: Type -> Bool

type Rep Type

Defined in Michelson.Untyped.Type

type Rep Type = D1 (MetaData "Type" "Michelson.Untyped.Type" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" False) (C1 (MetaCons "Type" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 T) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (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

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

RenderDoc Comparable

Defined in Michelson.Untyped.Type

Methods

renderDoc :: Comparable -> Doc

isRenderable :: Comparable -> Bool

type Rep Comparable

Defined in Michelson.Untyped.Type

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

compToType :: Comparable -> Type

typeToComp :: Type -> Maybe Comparable

data T

Constructors

Tc CT

TKey

TUnit

TSignature

TOption FieldAnn 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

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

RenderDoc T

Defined in Michelson.Untyped.Type

Methods

renderDoc :: T -> Doc

isRenderable :: T -> Bool

type Rep T

Defined in Michelson.Untyped.Type

type Rep T = D1 (MetaData "T" "Michelson.Untyped.Type" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" False) (((C1 (MetaCons "Tc" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (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 "TOption" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))) :+: (C1 (MetaCons "TList" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: C1 (MetaCons "TSet" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable))))) :+: ((C1 (MetaCons "TOperation" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "TContract" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: C1 (MetaCons "TPair" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))))) :+: ((C1 (MetaCons "TOr" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))) :+: C1 (MetaCons "TLambda" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))) :+: (C1 (MetaCons "TMap" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: C1 (MetaCons "TBigMap" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (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

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

RenderDoc CT

Defined in Michelson.Untyped.Type

Methods

renderDoc :: 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-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" 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 family ToCT a :: CT where ...

Type function that converts a regular Haskell type into a comparable type (which has kind CT)

Equations

ToCT Integer = CInt

ToCT Int = CInt

ToCT Natural = CNat

ToCT Word64 = CNat

ToCT Text = CString

ToCT Bool = CBool

ToCT ByteString = CBytes

ToCT Mutez = CMutez

ToCT Address = CAddress

ToCT KeyHash = CKeyHash

ToCT Timestamp = CTimestamp

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

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

data InstrAbstract op

Michelson instruction with abstract parameter op. This parameter is necessary, because at different stages of our pipeline it will be different. Initially it can contain macros and non-flattened instructions, but then it contains only vanilla Michelson instructions.

Constructors

EXT (ExtU InstrAbstract op)

DROP

DUP VarAnn

SWAP

PUSH VarAnn Type (Value op)

SOME TypeAnn VarAnn FieldAnn

NONE TypeAnn VarAnn FieldAnn Type

UNIT TypeAnn VarAnn

IF_NONE [op] [op]

PAIR TypeAnn VarAnn FieldAnn FieldAnn

CAR VarAnn FieldAnn

CDR VarAnn FieldAnn

LEFT TypeAnn VarAnn FieldAnn FieldAnn Type

RIGHT TypeAnn VarAnn FieldAnn FieldAnn Type

IF_LEFT [op] [op]

IF_RIGHT [op] [op]

NIL TypeAnn VarAnn Type

CONS VarAnn

IF_CONS [op] [op]

SIZE VarAnn

EMPTY_SET TypeAnn VarAnn Comparable

EMPTY_MAP TypeAnn VarAnn Comparable Type

MAP VarAnn [op]

ITER [op]

MEM VarAnn

GET VarAnn

UPDATE

IF [op] [op]

LOOP [op]

LOOP_LEFT [op]

LAMBDA VarAnn Type Type [op]

EXEC VarAnn

DIP [op]

FAILWITH

CAST VarAnn Type

RENAME VarAnn

PACK VarAnn

UNPACK VarAnn Type

CONCAT VarAnn

SLICE VarAnn

ISNAT VarAnn

ADD VarAnn

SUB VarAnn

MUL VarAnn

EDIV VarAnn

ABS VarAnn

NEG

LSL VarAnn

LSR VarAnn

OR VarAnn

AND VarAnn

XOR VarAnn

NOT VarAnn

COMPARE VarAnn

EQ VarAnn

NEQ VarAnn

LT VarAnn

GT VarAnn

LE VarAnn

GE VarAnn

INT VarAnn

SELF VarAnn

CONTRACT VarAnn Type

TRANSFER_TOKENS VarAnn

SET_DELEGATE VarAnn

CREATE_ACCOUNT VarAnn VarAnn

CREATE_CONTRACT VarAnn VarAnn

CREATE_CONTRACT2 VarAnn VarAnn (Contract op)

IMPLICIT_ACCOUNT VarAnn

NOW VarAnn

AMOUNT VarAnn

BALANCE VarAnn

CHECK_SIGNATURE VarAnn

SHA256 VarAnn

SHA512 VarAnn

BLAKE2B VarAnn

HASH_KEY VarAnn

STEPS_TO_QUOTA VarAnn

SOURCE VarAnn

SENDER VarAnn

ADDRESS VarAnn

Instances

Functor (ExtU InstrAbstract) => Functor InstrAbstract

Defined in Michelson.Untyped.Instr

Methods

fmap :: (a -> b) -> InstrAbstract a -> InstrAbstract b

(<$) :: a -> InstrAbstract b -> InstrAbstract a

(Eq op, Eq (ExtU InstrAbstract op)) => Eq (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

(==) :: InstrAbstract op -> InstrAbstract op -> Bool

(/=) :: InstrAbstract op -> InstrAbstract op -> Bool

(Data op, Data (ExtU InstrAbstract op)) => Data (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

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

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

toConstr :: InstrAbstract op -> Constr

dataTypeOf :: InstrAbstract op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> InstrAbstract op -> InstrAbstract op

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

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

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

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

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

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

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

(Show op, Show (ExtU InstrAbstract op)) => Show (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> InstrAbstract op -> ShowS

show :: InstrAbstract op -> String

showList :: [InstrAbstract op] -> ShowS

Generic (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Associated Types

type Rep (InstrAbstract op) :: Type -> Type

Methods

from :: InstrAbstract op -> Rep (InstrAbstract op) x

to :: Rep (InstrAbstract op) x -> InstrAbstract op

(ToJSON op, ToJSON (ExtU InstrAbstract op)) => ToJSON (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

toJSON :: InstrAbstract op -> Value

toEncoding :: InstrAbstract op -> Encoding

toJSONList :: [InstrAbstract op] -> Value

toEncodingList :: [InstrAbstract op] -> Encoding

(FromJSON op, FromJSON (ExtU InstrAbstract op)) => FromJSON (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser (InstrAbstract op)

parseJSONList :: Value -> Parser [InstrAbstract op]

RenderDoc op => Buildable (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

build :: InstrAbstract op -> Builder

RenderDoc op => RenderDoc (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

renderDoc :: InstrAbstract op -> Doc

isRenderable :: InstrAbstract op -> Bool

type ExtU InstrAbstract

Defined in Morley.Types

type ExtU InstrAbstract = UExtInstrAbstract

type Rep (InstrAbstract op)

Defined in Michelson.Untyped.Instr

type Rep (InstrAbstract op) = D1 (MetaData "InstrAbstract" "Michelson.Untyped.Instr" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" False) ((((((C1 (MetaCons "EXT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ExtU InstrAbstract op))) :+: C1 (MetaCons "DROP" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DUP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "SWAP" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "PUSH" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op))))))) :+: ((C1 (MetaCons "SOME" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn))) :+: C1 (MetaCons "NONE" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: (C1 (MetaCons "UNIT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "IF_NONE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "PAIR" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn))))))) :+: (((C1 (MetaCons "CAR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn)) :+: C1 (MetaCons "CDR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn))) :+: (C1 (MetaCons "LEFT" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: (C1 (MetaCons "RIGHT" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: C1 (MetaCons "IF_LEFT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]))))) :+: ((C1 (MetaCons "IF_RIGHT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "NIL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: (C1 (MetaCons "CONS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "IF_CONS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "SIZE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))))) :+: ((((C1 (MetaCons "EMPTY_SET" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable))) :+: C1 (MetaCons "EMPTY_MAP" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: (C1 (MetaCons "MAP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: (C1 (MetaCons "ITER" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "MEM" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "GET" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "UPDATE" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "IF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: (C1 (MetaCons "LOOP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "LOOP_LEFT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])))))) :+: (((C1 (MetaCons "LAMBDA" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]))) :+: C1 (MetaCons "EXEC" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "DIP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: (C1 (MetaCons "FAILWITH" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CAST" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))))) :+: ((C1 (MetaCons "RENAME" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "PACK" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "UNPACK" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: (C1 (MetaCons "CONCAT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SLICE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))))) :+: (((((C1 (MetaCons "ISNAT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "ADD" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "SUB" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "MUL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "EDIV" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "ABS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "NEG" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "LSL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "LSR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "OR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))) :+: (((C1 (MetaCons "AND" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "XOR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "NOT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "COMPARE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "EQ" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "NEQ" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "LT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "GT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "LE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "GE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))))) :+: ((((C1 (MetaCons "INT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SELF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "CONTRACT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: (C1 (MetaCons "TRANSFER_TOKENS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SET_DELEGATE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "CREATE_ACCOUNT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "CREATE_CONTRACT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "CREATE_CONTRACT2" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Contract op)))) :+: (C1 (MetaCons "IMPLICIT_ACCOUNT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "NOW" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))) :+: (((C1 (MetaCons "AMOUNT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "BALANCE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "CHECK_SIGNATURE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "SHA256" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SHA512" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "BLAKE2B" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "HASH_KEY" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "STEPS_TO_QUOTA" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))) :+: (C1 (MetaCons "SOURCE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "SENDER" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "ADDRESS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))))))

newtype Op

Constructors

Op

Fields

• unOp :: Instr

Instances

Eq (ExtU InstrAbstract Op) => Eq Op

Defined in Michelson.Untyped.Instr

Methods

(==) :: Op -> Op -> Bool

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

Show (ExtU InstrAbstract Op) => Show Op

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> Op -> ShowS

show :: Op -> String

showList :: [Op] -> ShowS

Generic Op

Defined in Michelson.Untyped.Instr

Associated Types

type Rep Op :: Type -> Type

Methods

from :: Op -> Rep Op x

to :: Rep Op x -> Op

ToJSON Instr => ToJSON Op

Defined in Michelson.Untyped.Instr

Methods

toJSON :: Op -> Value

toEncoding :: Op -> Encoding

toJSONList :: [Op] -> Value

toEncodingList :: [Op] -> Encoding

FromJSON Instr => FromJSON Op

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser Op

parseJSONList :: Value -> Parser [Op]

Buildable Op

Defined in Michelson.Untyped.Instr

Methods

build :: Op -> Builder

RenderDoc Op

Defined in Michelson.Untyped.Instr

Methods

renderDoc :: Op -> Doc

isRenderable :: Op -> Bool

type Rep Op

Defined in Michelson.Untyped.Instr

type Rep Op = D1 (MetaData "Op" "Michelson.Untyped.Instr" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" True) (C1 (MetaCons "Op" PrefixI True) (S1 (MetaSel (Just "unOp") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Instr)))

type Instr = InstrAbstract Op

data ExpandedOp

Constructors

PrimEx ExpandedInstr

SeqEx [ExpandedOp]

Instances

Eq ExpandedInstr => Eq ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

(==) :: ExpandedOp -> ExpandedOp -> Bool

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

Data ExpandedInstr => Data ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

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

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

toConstr :: ExpandedOp -> Constr

dataTypeOf :: ExpandedOp -> DataType

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

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

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

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

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

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

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

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

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

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

Show ExpandedInstr => Show ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> ExpandedOp -> ShowS

show :: ExpandedOp -> String

showList :: [ExpandedOp] -> ShowS

Generic ExpandedOp

Defined in Michelson.Untyped.Instr

Associated Types

type Rep ExpandedOp :: Type -> Type

Methods

from :: ExpandedOp -> Rep ExpandedOp x

to :: Rep ExpandedOp x -> ExpandedOp

ToJSON ExpandedInstr => ToJSON ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

toJSON :: ExpandedOp -> Value

toEncoding :: ExpandedOp -> Encoding

toJSONList :: [ExpandedOp] -> Value

toEncodingList :: [ExpandedOp] -> Encoding

FromJSON ExpandedInstr => FromJSON ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser ExpandedOp

parseJSONList :: Value -> Parser [ExpandedOp]

Buildable ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

build :: ExpandedOp -> Builder

RenderDoc ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

renderDoc :: ExpandedOp -> Doc

isRenderable :: ExpandedOp -> Bool

Conversible ExtInstr (UExtInstrAbstract ExpandedOp)

Defined in Morley.Types

Methods

convert :: ExtInstr -> UExtInstrAbstract ExpandedOp

type Rep ExpandedOp

Defined in Michelson.Untyped.Instr

type Rep ExpandedOp = D1 (MetaData "ExpandedOp" "Michelson.Untyped.Instr" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" False) (C1 (MetaCons "PrimEx" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ExpandedInstr)) :+: C1 (MetaCons "SeqEx" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ExpandedOp])))

type ExpandedInstr = InstrAbstract ExpandedOp

type family ExtU (instr :: Type -> Type) :: Type -> Type

ExtU is extension of InstrAbstract by Morley instructions

Instances

type ExtU InstrAbstract

Defined in Morley.Types

type ExtU InstrAbstract = UExtInstrAbstract

type InstrExtU = ExtU InstrAbstract Op

type ExpandedInstrExtU = ExtU InstrAbstract ExpandedOp

Contract's address

data OriginationOperation

Data necessary to originate a contract.

Constructors

OriginationOperation

Fields

• ooManager :: !KeyHash

  Manager of the contract.

• ooDelegate :: !(Maybe KeyHash)

  Optional delegate.

• ooSpendable :: !Bool

  Whether the contract is spendable.

• ooDelegatable :: !Bool

  Whether the contract is delegatable.

• ooBalance :: !Mutez

  Initial balance of the contract.

• ooStorage :: !(Value ExpandedOp)

  Initial storage value of the contract.

• ooContract :: !(Contract ExpandedOp)

  The contract itself.

Instances

Show ExpandedInstrExtU => Show OriginationOperation

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> OriginationOperation -> ShowS

show :: OriginationOperation -> String

showList :: [OriginationOperation] -> ShowS

Generic OriginationOperation

Defined in Michelson.Untyped.Instr

Associated Types

type Rep OriginationOperation :: Type -> Type

Methods

from :: OriginationOperation -> Rep OriginationOperation x

to :: Rep OriginationOperation x -> OriginationOperation

ToJSON ExpandedOp => ToJSON OriginationOperation

Defined in Michelson.Untyped.Instr

Methods

toJSON :: OriginationOperation -> Value

toEncoding :: OriginationOperation -> Encoding

toJSONList :: [OriginationOperation] -> Value

toEncodingList :: [OriginationOperation] -> Encoding

FromJSON ExpandedOp => FromJSON OriginationOperation

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser OriginationOperation

parseJSONList :: Value -> Parser [OriginationOperation]

type Rep OriginationOperation

Defined in Michelson.Untyped.Instr

type Rep OriginationOperation = D1 (MetaData "OriginationOperation" "Michelson.Untyped.Instr" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" False) (C1 (MetaCons "OriginationOperation" PrefixI True) ((S1 (MetaSel (Just "ooManager") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 KeyHash) :*: (S1 (MetaSel (Just "ooDelegate") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe KeyHash)) :*: S1 (MetaSel (Just "ooSpendable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool))) :*: ((S1 (MetaSel (Just "ooDelegatable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool) :*: S1 (MetaSel (Just "ooBalance") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Mutez)) :*: (S1 (MetaSel (Just "ooStorage") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Value ExpandedOp)) :*: S1 (MetaSel (Just "ooContract") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Contract ExpandedOp))))))

mkContractAddress :: ToJSON ExpandedInstrExtU => OriginationOperation -> Address

Compute address of a contract from its origination operation.

TODO [TM-62] It's certainly imprecise, real Tezos implementation doesn't use JSON, but we don't need precise format yet, so we just use some serialization format (JSON because we have necessary instances already).

type Parameter = Type

type Storage = Type

data Contract op

Constructors

Contract

Fields

• para :: Parameter
• stor :: Storage
• code :: [op]

Instances

Functor Contract

Defined in Michelson.Untyped.Contract

Methods

fmap :: (a -> b) -> Contract a -> Contract b

(<$) :: a -> Contract b -> Contract a

Eq op => Eq (Contract op)

Defined in Michelson.Untyped.Contract

Methods

(==) :: Contract op -> Contract op -> Bool

(/=) :: Contract op -> Contract op -> Bool

Data op => Data (Contract op)

Defined in Michelson.Untyped.Contract

Methods

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

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

toConstr :: Contract op -> Constr

dataTypeOf :: Contract op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Contract op -> Contract op

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

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

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

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

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

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

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

Show op => Show (Contract op)

Defined in Michelson.Untyped.Contract

Methods

showsPrec :: Int -> Contract op -> ShowS

show :: Contract op -> String

showList :: [Contract op] -> ShowS

Generic (Contract op)

Defined in Michelson.Untyped.Contract

Associated Types

type Rep (Contract op) :: Type -> Type

Methods

from :: Contract op -> Rep (Contract op) x

to :: Rep (Contract op) x -> Contract op

ToJSON op => ToJSON (Contract op)

Defined in Michelson.Untyped.Contract

Methods

toJSON :: Contract op -> Value

toEncoding :: Contract op -> Encoding

toJSONList :: [Contract op] -> Value

toEncodingList :: [Contract op] -> Encoding

FromJSON op => FromJSON (Contract op)

Defined in Michelson.Untyped.Contract

Methods

parseJSON :: Value -> Parser (Contract op)

parseJSONList :: Value -> Parser [Contract op]

RenderDoc op => Buildable (Contract op)

Defined in Michelson.Untyped.Contract

Methods

build :: Contract op -> Builder

RenderDoc op => RenderDoc (Contract op)

Defined in Michelson.Untyped.Contract

Methods

renderDoc :: Contract op -> Doc

isRenderable :: Contract op -> Bool

type Rep (Contract op)

Defined in Michelson.Untyped.Contract

type Rep (Contract op) = D1 (MetaData "Contract" "Michelson.Untyped.Contract" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" False) (C1 (MetaCons "Contract" PrefixI True) (S1 (MetaSel (Just "para") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Parameter) :*: (S1 (MetaSel (Just "stor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Storage) :*: S1 (MetaSel (Just "code") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]))))

newtype Annotation tag

Constructors

Annotation Text

Instances

Semigroup VarAnn

Defined in Michelson.Untyped.Annotation

Methods

(<>) :: VarAnn -> VarAnn -> VarAnn

sconcat :: NonEmpty VarAnn -> VarAnn

stimes :: Integral b => b -> VarAnn -> VarAnn

Monoid VarAnn

Defined in Michelson.Untyped.Annotation

Methods

mempty :: VarAnn

mappend :: VarAnn -> VarAnn -> VarAnn

mconcat :: [VarAnn] -> VarAnn

Buildable VarAnn

Defined in Michelson.Untyped.Annotation

Methods

build :: VarAnn -> Builder

Buildable FieldAnn

Defined in Michelson.Untyped.Annotation

Methods

build :: FieldAnn -> Builder

Buildable TypeAnn

Defined in Michelson.Untyped.Annotation

Methods

build :: TypeAnn -> Builder

RenderDoc VarAnn

Defined in Michelson.Untyped.Annotation

Methods

renderDoc :: VarAnn -> Doc

isRenderable :: VarAnn -> Bool

RenderDoc FieldAnn

Defined in Michelson.Untyped.Annotation

Methods

renderDoc :: FieldAnn -> Doc

isRenderable :: FieldAnn -> Bool

RenderDoc TypeAnn

Defined in Michelson.Untyped.Annotation

Methods

renderDoc :: TypeAnn -> Doc

isRenderable :: TypeAnn -> Bool

Functor (Annotation :: Type -> Type)

Defined in Michelson.Untyped.Annotation

Methods

fmap :: (a -> b) -> Annotation a -> Annotation b

(<$) :: a -> Annotation b -> Annotation a

Eq (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

(==) :: Annotation tag -> Annotation tag -> Bool

(/=) :: Annotation tag -> Annotation tag -> Bool

(Typeable tag, Typeable k) => Data (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

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

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

toConstr :: Annotation tag -> Constr

dataTypeOf :: Annotation tag -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Annotation tag -> Annotation tag

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

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

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

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

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

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

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

IsString (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

fromString :: String -> Annotation tag

Generic (Annotation tag)

Defined in Michelson.Untyped.Annotation

Associated Types

type Rep (Annotation tag) :: Type -> Type

Methods

from :: Annotation tag -> Rep (Annotation tag) x

to :: Rep (Annotation tag) x -> Annotation tag

ToJSON (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

toJSON :: Annotation tag -> Value

toEncoding :: Annotation tag -> Encoding

toJSONList :: [Annotation tag] -> Value

toEncodingList :: [Annotation tag] -> Encoding

FromJSON (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

parseJSON :: Value -> Parser (Annotation tag)

parseJSONList :: Value -> Parser [Annotation tag]

Default (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

def :: Annotation tag

type Rep (Annotation tag)

Defined in Michelson.Untyped.Annotation

type Rep (Annotation tag) = D1 (MetaData "Annotation" "Michelson.Untyped.Annotation" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" True) (C1 (MetaCons "Annotation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

pattern WithAnn :: Annotation tag -> Annotation tag

type TypeAnn = Annotation TypeTag

type FieldAnn = Annotation FieldTag

type VarAnn = Annotation VarTag

noAnn :: Annotation a

ann :: Text -> Annotation a

unifyAnn :: Annotation tag -> Annotation tag -> Maybe (Annotation tag)

ifAnnUnified :: Annotation tag -> Annotation tag -> Bool

disjoinVn :: VarAnn -> (VarAnn, VarAnn)

convAnn :: Annotation tag1 -> Annotation tag2

type UntypedContract = Contract ExpandedOp

type UntypedValue = Value ExpandedOp