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 Expression

Defined in Morley.Micheline.Class

Methods

toExpression :: Expression -> Expression

ToExpression T

Defined in Morley.Micheline.Class

Methods

toExpression :: T -> Expression

ToExpression Contract

Defined in Morley.Micheline.Class

Methods

toExpression :: Contract -> Expression

ToExpression Value

Defined in Morley.Micheline.Class

Methods

toExpression :: Value -> Expression

ToExpression ExpandedInstr

Defined in Morley.Micheline.Class

Methods

toExpression :: ExpandedInstr -> Expression

ToExpression ExpandedOp

Defined in Morley.Micheline.Class

Methods

toExpression :: ExpandedOp -> Expression

ToExpression T

Defined in Morley.Micheline.Class

Methods

toExpression :: T -> Expression

ToExpression Ty

Defined in Morley.Micheline.Class

Methods

toExpression :: Ty -> Expression

ToExpression ViewName

Defined in Morley.Micheline.Class

Methods

toExpression :: ViewName -> Expression

ToExpression a => ToExpression (NonEmpty a)

Defined in Morley.Micheline.Class

Methods

toExpression :: NonEmpty a -> Expression

HasNoOp t => ToExpression (Value t)

Defined in Morley.Micheline.Class

Methods

toExpression :: Value t -> Expression

ToExpression (Notes t)

Defined in Morley.Micheline.Class

Methods

toExpression :: Notes t -> Expression

ToExpression a => ToExpression [a]

Defined in Morley.Micheline.Class

Methods

toExpression :: [a] -> 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 FromExpError x

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

Constructors

FromExpError (Exp x) Text

Instances

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

Show (Exp x) => Show (FromExpError x)

Defined in Morley.Micheline.Class

Methods

showsPrec :: Int -> FromExpError x -> ShowS

show :: FromExpError x -> String

showList :: [FromExpError x] -> ShowS

Eq (Exp x) => Eq (FromExpError x)

Defined in Morley.Micheline.Class

Methods

(==) :: FromExpError x -> FromExpError x -> Bool

(/=) :: FromExpError x -> FromExpError x -> Bool

type FromExpressionError = FromExpError RegularExp

Error in case of vanilla expression.

class FromExp x a where

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

Methods

fromExp :: Exp x -> Either (FromExpError x) a

Instances

FromExp RegularExp ExpandedOp

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp RegularExp -> Either (FromExpError RegularExp) ExpandedOp

FromExp x T

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp x -> Either (FromExpError x) T

FromExp x T

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp x -> Either (FromExpError x) T

FromExp x Ty

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp x -> Either (FromExpError x) Ty

FromExp x ViewName

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp x -> Either (FromExpError x) ViewName

(FromExp x Value, SingI t) => FromExp x (Value t)

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp x -> Either (FromExpError x) (Value t)

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

Defined in Morley.Micheline.Class

Methods

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

FromExp x op => FromExp x (InstrAbstract op)

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp x -> Either (FromExpError x) (InstrAbstract op)

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

Defined in Morley.Micheline.Class

Methods

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

FromExp x a => FromExp x [a]

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp x -> Either (FromExpError x) [a]

(SingI inp, SingI out) => FromExp RegularExp (Instr '[inp] '[out])

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp RegularExp -> Either (FromExpError RegularExp) (Instr '[inp] '[out])

type FromExpression = FromExp RegularExp

fromExpression :: FromExp RegularExp a => Expression -> Either FromExpressionError a

Parse vanilla expression to something.