Morley.Michelson.Untyped.Contract

Michelson contract in untyped model.

Documentation

data EntriesOrder

Top-level entries order of the contract. This is preserved due to the fact that it affects the output of pretty-printing and serializing contract.

Constructors

PSC

PCS

SPC

SCP

CSP

CPS

Instances

FromJSON EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Methods

parseJSON :: Value -> Parser EntriesOrder

parseJSONList :: Value -> Parser [EntriesOrder]

ToJSON EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Methods

toJSON :: EntriesOrder -> Value

toEncoding :: EntriesOrder -> Encoding

toJSONList :: [EntriesOrder] -> Value

toEncodingList :: [EntriesOrder] -> Encoding

Data EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Methods

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

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

toConstr :: EntriesOrder -> Constr

dataTypeOf :: EntriesOrder -> DataType

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

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

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

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

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

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

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

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

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

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

Bounded EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Methods

minBound :: EntriesOrder

maxBound :: EntriesOrder

Enum EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Methods

succ :: EntriesOrder -> EntriesOrder

pred :: EntriesOrder -> EntriesOrder

toEnum :: Int -> EntriesOrder

fromEnum :: EntriesOrder -> Int

enumFrom :: EntriesOrder -> [EntriesOrder]

enumFromThen :: EntriesOrder -> EntriesOrder -> [EntriesOrder]

enumFromTo :: EntriesOrder -> EntriesOrder -> [EntriesOrder]

enumFromThenTo :: EntriesOrder -> EntriesOrder -> EntriesOrder -> [EntriesOrder]

Generic EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Associated Types

type Rep EntriesOrder :: Type -> Type

Methods

from :: EntriesOrder -> Rep EntriesOrder x

to :: Rep EntriesOrder x -> EntriesOrder

Show EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Methods

showsPrec :: Int -> EntriesOrder -> ShowS

show :: EntriesOrder -> String

showList :: [EntriesOrder] -> ShowS

Default EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Methods

def :: EntriesOrder

NFData EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Methods

rnf :: EntriesOrder -> ()

Eq EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

Methods

(==) :: EntriesOrder -> EntriesOrder -> Bool

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

type Rep EntriesOrder

Defined in Morley.Michelson.Untyped.Contract

type Rep EntriesOrder = D1 ('MetaData "EntriesOrder" "Morley.Michelson.Untyped.Contract" "morley-1.18.0-inplace" 'False) ((C1 ('MetaCons "PSC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PCS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SPC" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SCP" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CSP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CPS" 'PrefixI 'False) (U1 :: Type -> Type))))

canonicalEntriesOrder :: EntriesOrder

The canonical entries order which is ordered as follow: parameter, storage, and code.

entriesOrderToInt :: EntriesOrder -> (Int, Int, Int)

(Int, Int, Int) is the positions of parameter, storage, and code respectively.

mapEntriesOrdered :: Contract' op -> (ParameterType -> a) -> (Storage -> a) -> ([op] -> a) -> (View' op -> a) -> [a]

Map each contract fields by the given function and sort the output based on the EntriesOrder.

data ContractBlock op

Contract block, convenient when parsing

Constructors

CBParam ParameterType

CBStorage Ty

CBCode [op]

CBView (View' op)

Instances

Functor ContractBlock

Defined in Morley.Michelson.Untyped.Contract

Methods

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

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

Show op => Show (ContractBlock op)

Defined in Morley.Michelson.Untyped.Contract

Methods

showsPrec :: Int -> ContractBlock op -> ShowS

show :: ContractBlock op -> String

showList :: [ContractBlock op] -> ShowS

Buildable (ContractBlock op)

Defined in Morley.Michelson.Untyped.Contract

Methods

build :: ContractBlock op -> Builder

Eq op => Eq (ContractBlock op)

Defined in Morley.Michelson.Untyped.Contract

Methods

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

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

orderContractBlock :: [ContractBlock op] -> Maybe (Contract' op)

Construct a contract representation from the contract blocks (i.e. parameters, storage, code blocks, etc.) in arbitrary order. This makes sure that unique blocks like code do not duplicate, and saves the order in the contract so that it can print the contract blocks in the same order it was parsed. TODO [#698]: this is not fully true now.

data Contract' op

General untyped contract representation.

Constructors

Contract

Fields

• contractParameter :: ParameterType

  Contract parameter type

• contractStorage :: Storage

  Contract storage type

• contractCode :: [op]

  Contract code as a list of operations

• entriesOrder :: EntriesOrder

  Original order of contract blocks, so that we can print them in the same order they were read

• contractViews :: [View' op]

  Contract views

Instances

Functor Contract'

Defined in Morley.Michelson.Untyped.Contract

Methods

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

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

ToExpression Contract

Defined in Morley.Micheline.Class

Methods

toExpression :: Contract -> Expression

FromExp x op => FromExp x (Contract' op)

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp x -> Either (FromExpError x) (Contract' op)

FromJSON op => FromJSON (Contract' op)

Defined in Morley.Michelson.Untyped.Contract

Methods

parseJSON :: Value -> Parser (Contract' op)

parseJSONList :: Value -> Parser [Contract' op]

ToJSON op => ToJSON (Contract' op)

Defined in Morley.Michelson.Untyped.Contract

Methods

toJSON :: Contract' op -> Value

toEncoding :: Contract' op -> Encoding

toJSONList :: [Contract' op] -> Value

toEncodingList :: [Contract' op] -> Encoding

Data op => Data (Contract' op)

Defined in Morley.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 :: forall r r'. (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)

Generic (Contract' op)

Defined in Morley.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

Show op => Show (Contract' op)

Defined in Morley.Michelson.Untyped.Contract

Methods

showsPrec :: Int -> Contract' op -> ShowS

show :: Contract' op -> String

showList :: [Contract' op] -> ShowS

NFData op => NFData (Contract' op)

Defined in Morley.Michelson.Untyped.Contract

Methods

rnf :: Contract' op -> ()

RenderDoc op => Buildable (Contract' op)

Defined in Morley.Michelson.Untyped.Contract

Methods

build :: Contract' op -> Builder

Eq op => Eq (Contract' op)

Defined in Morley.Michelson.Untyped.Contract

Methods

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

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

RenderDoc op => RenderDoc (Contract' op)

Defined in Morley.Michelson.Untyped.Contract

Methods

renderDoc :: RenderContext -> Contract' op -> Doc

isRenderable :: Contract' op -> Bool

type Rep (Contract' op)

Defined in Morley.Michelson.Untyped.Contract

type Rep (Contract' op) = D1 ('MetaData "Contract'" "Morley.Michelson.Untyped.Contract" "morley-1.18.0-inplace" 'False) (C1 ('MetaCons "Contract" 'PrefixI 'True) ((S1 ('MetaSel ('Just "contractParameter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ParameterType) :*: S1 ('MetaSel ('Just "contractStorage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Storage)) :*: (S1 ('MetaSel ('Just "contractCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [op]) :*: (S1 ('MetaSel ('Just "entriesOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EntriesOrder) :*: S1 ('MetaSel ('Just "contractViews") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [View' op])))))

data View' op

Untyped view in a contract.

Constructors

View

Fields

• viewName :: ViewName

  View name

• viewArgument :: Ty

  View argument type

• viewReturn :: Ty

  View return type

• viewCode :: [op]

  View code

Instances

Functor View'

Defined in Morley.Michelson.Untyped.View

Methods

fmap :: (a -> b) -> View' a -> View' b

(<$) :: a -> View' b -> View' a

FromJSON op => FromJSON (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

parseJSON :: Value -> Parser (View' op)

parseJSONList :: Value -> Parser [View' op]

ToJSON op => ToJSON (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

toJSON :: View' op -> Value

toEncoding :: View' op -> Encoding

toJSONList :: [View' op] -> Value

toEncodingList :: [View' op] -> Encoding

Data op => Data (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

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

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

toConstr :: View' op -> Constr

dataTypeOf :: View' op -> DataType

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

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

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

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

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

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

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

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

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

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

Generic (View' op)

Defined in Morley.Michelson.Untyped.View

Associated Types

type Rep (View' op) :: Type -> Type

Methods

from :: View' op -> Rep (View' op) x

to :: Rep (View' op) x -> View' op

Show op => Show (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

showsPrec :: Int -> View' op -> ShowS

show :: View' op -> String

showList :: [View' op] -> ShowS

NFData op => NFData (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

rnf :: View' op -> ()

Eq op => Eq (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

(==) :: View' op -> View' op -> Bool

(/=) :: View' op -> View' op -> Bool

type Rep (View' op)

Defined in Morley.Michelson.Untyped.View

type Rep (View' op) = D1 ('MetaData "View'" "Morley.Michelson.Untyped.View" "morley-1.18.0-inplace" 'False) (C1 ('MetaCons "View" 'PrefixI 'True) ((S1 ('MetaSel ('Just "viewName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ViewName) :*: S1 ('MetaSel ('Just "viewArgument") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)) :*: (S1 ('MetaSel ('Just "viewReturn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty) :*: S1 ('MetaSel ('Just "viewCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [op]))))

type Storage = Ty

Convenience synonym for Ty representing the storage type

mapContractCode :: (op -> op) -> Contract' op -> Contract' op

Map all the instructions appearing in the contract.