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

Bounded EntriesOrder

Defined in Michelson.Untyped.Contract

Methods

minBound :: EntriesOrder

maxBound :: EntriesOrder

Enum EntriesOrder

Defined in 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]

Eq EntriesOrder

Defined in Michelson.Untyped.Contract

Methods

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

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

Data EntriesOrder

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

Show EntriesOrder

Defined in Michelson.Untyped.Contract

Methods

showsPrec :: Int -> EntriesOrder -> ShowS

show :: EntriesOrder -> String

showList :: [EntriesOrder] -> ShowS

Generic EntriesOrder

Defined in Michelson.Untyped.Contract

Associated Types

type Rep EntriesOrder :: Type -> Type

Methods

from :: EntriesOrder -> Rep EntriesOrder x

to :: Rep EntriesOrder x -> EntriesOrder

Arbitrary EntriesOrder

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen EntriesOrder

shrink :: EntriesOrder -> [EntriesOrder]

ToJSON EntriesOrder

Defined in Michelson.Untyped.Contract

Methods

toJSON :: EntriesOrder -> Value

toEncoding :: EntriesOrder -> Encoding

toJSONList :: [EntriesOrder] -> Value

toEncodingList :: [EntriesOrder] -> Encoding

FromJSON EntriesOrder

Defined in Michelson.Untyped.Contract

Methods

parseJSON :: Value -> Parser EntriesOrder

parseJSONList :: Value -> Parser [EntriesOrder]

NFData EntriesOrder

Defined in Michelson.Untyped.Contract

Methods

rnf :: EntriesOrder -> ()

Default EntriesOrder

Defined in Michelson.Untyped.Contract

Methods

def :: EntriesOrder

type Rep EntriesOrder

Defined in Michelson.Untyped.Contract

type Rep EntriesOrder = D1 ('MetaData "EntriesOrder" "Michelson.Untyped.Contract" "morley-1.7.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) -> [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 Type

CBCode [op]

Instances

Eq op => Eq (ContractBlock op)

Defined in Michelson.Untyped.Contract

Methods

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

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

Show op => Show (ContractBlock op)

Defined in Michelson.Untyped.Contract

Methods

showsPrec :: Int -> ContractBlock op -> ShowS

show :: ContractBlock op -> String

showList :: [ContractBlock op] -> ShowS

orderContractBlock :: (ContractBlock op, ContractBlock op, ContractBlock op) -> Maybe (Contract' op)

data Contract' op

Constructors

Contract

Fields

• contractParameter :: ParameterType
• contractStorage :: Storage
• contractCode :: [op]
• entriesOrder :: EntriesOrder

Instances

Functor Contract'

Defined in Michelson.Untyped.Contract

Methods

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

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

FromExpression Contract

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Either FromExpressionError Contract

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

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

Arbitrary op => Arbitrary (Contract' op)

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen (Contract' op)

shrink :: Contract' op -> [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]

NFData op => NFData (Contract' op)

Defined in Michelson.Untyped.Contract

Methods

rnf :: Contract' op -> ()

RenderDoc op => Buildable (Contract' op)

Defined in Michelson.Untyped.Contract

Methods

build :: Contract' op -> Builder

(Arbitrary op, ToADTArbitrary op) => ToADTArbitrary (Contract' op)

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy (Contract' op) -> Gen (ADTArbitrarySingleton (Contract' op))

toADTArbitrary :: Proxy (Contract' op) -> Gen (ADTArbitrary (Contract' op))

RenderDoc op => RenderDoc (Contract' op)

Defined in Michelson.Untyped.Contract

Methods

renderDoc :: RenderContext -> 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-1.7.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))))

type Storage = Type