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

data FromExpressionError

Errors that can happen when we convert an Expression to our data type.

Constructors

FromExpressionError UnpackError

Instances

Eq FromExpressionError

Defined in Morley.Micheline.Class

Methods

(==) :: FromExpressionError -> FromExpressionError -> Bool

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

Show FromExpressionError

Defined in Morley.Micheline.Class

Methods

showsPrec :: Int -> FromExpressionError -> ShowS

show :: FromExpressionError -> String

showList :: [FromExpressionError] -> ShowS

Exception FromExpressionError

Defined in Morley.Micheline.Class

Methods

toException :: FromExpressionError -> SomeException

fromException :: SomeException -> Maybe FromExpressionError

displayException :: FromExpressionError -> String

Buildable FromExpressionError

Defined in Morley.Micheline.Class

Methods

build :: FromExpressionError -> Builder

class FromExpression a where

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

Methods

fromExpression :: Expression -> Either FromExpressionError a

Instances

FromExpression Contract

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Either FromExpressionError Contract

FromExpression [ExpandedOp]

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Either FromExpressionError [ExpandedOp]

UnpackedValScope t => FromExpression (Value t)

Defined in Morley.Micheline.Class

Methods

fromExpression :: Expression -> Either FromExpressionError (Value t)