Morley.Micheline.Class

Module that provides type classes for converting to and from low-level Micheline representation.

Documentation

class ToExpression a where

Type class that provides an ability to convert something to Micheline Expression.

Methods

toExpression :: a -> Expression

Instances

ToExpression T

Defined in Morley.Micheline.Class

Methods

toExpression :: T -> Expression

SingI t => ToExpression (Notes t)

Defined in Morley.Micheline.Class

Methods

toExpression :: Notes t -> Expression

(SingI t, HasNoOp t) => ToExpression (Value t)

Defined in Morley.Micheline.Class

Methods

toExpression :: Value t -> Expression

ToExpression (Contract cp st)

Defined in Morley.Micheline.Class

Methods

toExpression :: Contract cp st -> Expression

ToExpression (Instr inp out)

Defined in Morley.Micheline.Class

Methods

toExpression :: Instr inp out -> Expression

class FromExpression a where

Type class that provides the ability to convert something from a Micheline Expression.

Methods

fromExpression :: Expression -> Maybe a

Instances

FromExpression [ExpandedOp]

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Maybe [ExpandedOp]

UnpackedValScope t => FromExpression (Value t)

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Maybe (Value t)