Safe Haskell	None
Language	Haskell2010

Michelson.Untyped.Contract

Description

Michelson contract in untyped model.

Synopsis

data EntriesOrder
- = PSC
- | PCS
- | SPC
- | SCP
- | CSP
- | CPS
canonicalEntriesOrder :: EntriesOrder
entriesOrderToInt :: EntriesOrder -> (Int, Int, Int)
mapEntriesOrdered :: Contract' op -> (ParameterType -> a) -> (Storage -> a) -> ([op] -> a) -> [a]
data ContractBlock op
- = CBParam ParameterType
- | CBStorage Type
- | CBCode [op]
orderContractBlock :: (ContractBlock op, ContractBlock op, ContractBlock op) -> Maybe (Contract' op)
data Contract' op = Contract {
- contractParameter :: ParameterType
- contractStorage :: Storage
- contractCode :: [op]
- entriesOrder :: EntriesOrder
}
type Storage = Type

Documentation

data EntriesOrder Source #

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

Instances details

Bounded EntriesOrder Source #
Instance details Defined in Michelson.Untyped.Contract Methods minBound :: EntriesOrder # maxBound :: EntriesOrder #
Enum EntriesOrder Source #
Instance details 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 Source #
Instance details Defined in Michelson.Untyped.Contract Methods (==) :: EntriesOrder -> EntriesOrder -> Bool # (/=) :: EntriesOrder -> EntriesOrder -> Bool #
Data EntriesOrder Source #
Instance details 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 Source #
Instance details Defined in Michelson.Untyped.Contract Methods showsPrec :: Int -> EntriesOrder -> ShowS # show :: EntriesOrder -> String # showList :: [EntriesOrder] -> ShowS #
Generic EntriesOrder Source #
Instance details 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 Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen EntriesOrder # shrink :: EntriesOrder -> [EntriesOrder] #
ToJSON EntriesOrder Source #
Instance details Defined in Michelson.Untyped.Contract Methods toJSON :: EntriesOrder -> Value # toEncoding :: EntriesOrder -> Encoding # toJSONList :: [EntriesOrder] -> Value # toEncodingList :: [EntriesOrder] -> Encoding #
FromJSON EntriesOrder Source #
Instance details Defined in Michelson.Untyped.Contract Methods parseJSON :: Value -> Parser EntriesOrder # parseJSONList :: Value -> Parser [EntriesOrder] #
NFData EntriesOrder Source #
Instance details Defined in Michelson.Untyped.Contract Methods rnf :: EntriesOrder -> () #
Default EntriesOrder Source #
Instance details Defined in Michelson.Untyped.Contract Methods def :: EntriesOrder #
type Rep EntriesOrder Source #
Instance details 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 Source #

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

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

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

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

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

data ContractBlock op Source #

Contract block, convenient when parsing

Constructors

CBParam ParameterType
CBStorage Type
CBCode [op]

Instances

Instances details

Eq op => Eq (ContractBlock op) Source #
Instance details Defined in Michelson.Untyped.Contract Methods (==) :: ContractBlock op -> ContractBlock op -> Bool # (/=) :: ContractBlock op -> ContractBlock op -> Bool #
Show op => Show (ContractBlock op) Source #
Instance details 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) Source #

data Contract' op Source #

Constructors

Contract
Fields contractParameter :: ParameterType contractStorage :: Storage contractCode :: [op] entriesOrder :: EntriesOrder

Instances

Instances details

Functor Contract' Source #
Instance details Defined in Michelson.Untyped.Contract Methods fmap :: (a -> b) -> Contract' a -> Contract' b # (<$) :: a -> Contract' b -> Contract' a #
FromExpression Contract Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError Contract Source #
Eq op => Eq (Contract' op) Source #
Instance details Defined in Michelson.Untyped.Contract Methods (==) :: Contract' op -> Contract' op -> Bool # (/=) :: Contract' op -> Contract' op -> Bool #
Data op => Data (Contract' op) Source #
Instance details 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) Source #
Instance details Defined in Michelson.Untyped.Contract Methods showsPrec :: Int -> Contract' op -> ShowS # show :: Contract' op -> String # showList :: [Contract' op] -> ShowS #
Generic (Contract' op) Source #
Instance details 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) Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen (Contract' op) # shrink :: Contract' op -> [Contract' op] #
ToJSON op => ToJSON (Contract' op) Source #
Instance details 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) Source #
Instance details Defined in Michelson.Untyped.Contract Methods parseJSON :: Value -> Parser (Contract' op) # parseJSONList :: Value -> Parser [Contract' op] #
NFData op => NFData (Contract' op) Source #
Instance details Defined in Michelson.Untyped.Contract Methods rnf :: Contract' op -> () #
RenderDoc op => Buildable (Contract' op) Source #
Instance details Defined in Michelson.Untyped.Contract Methods build :: Contract' op -> Builder #
(Arbitrary op, ToADTArbitrary op) => ToADTArbitrary (Contract' op) Source #
Instance details 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) Source #
Instance details Defined in Michelson.Untyped.Contract Methods renderDoc :: RenderContext -> Contract' op -> Doc Source # isRenderable :: Contract' op -> Bool Source #
type Rep (Contract' op) Source #
Instance details 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 Source #