Safe Haskell	None
Language	Haskell2010

Morley.Micheline.Class

Description

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

Synopsis

class ToExpression a where
- toExpression :: a -> Expression
data FromExpressionError = FromExpressionError Expression Text
class FromExpression a where
- fromExpression :: Expression -> Either FromExpressionError a

Documentation

class ToExpression a where Source #

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

Methods

toExpression :: a -> Expression Source #

Instances

Instances details

ToExpression T Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: T -> Expression Source #
ToExpression Ty Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: Ty -> Expression Source #
ToExpression T Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: T -> Expression Source #
ToExpression ExpandedOp Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: ExpandedOp -> Expression Source #
ToExpression ExpandedInstr Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: ExpandedInstr -> Expression Source #
ToExpression Contract Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: Contract -> Expression Source #
ToExpression Value Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: Value -> Expression Source #
ToExpression Expression Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: Expression -> Expression Source #
ToExpression a => ToExpression [a] Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: [a] -> Expression Source #
ToExpression a => ToExpression (NonEmpty a) Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: NonEmpty a -> Expression Source #
SingI t => ToExpression (Notes t) Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: Notes t -> Expression Source #
(SingI t, HasNoOp t) => ToExpression (Value t) Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: Value t -> Expression Source #
ToExpression (Contract cp st) Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: Contract cp st -> Expression Source #
ToExpression (Instr inp out) Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: Instr inp out -> Expression Source #

data FromExpressionError Source #

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

Constructors

FromExpressionError Expression Text

Instances

Instances details

Eq FromExpressionError Source #
Instance details Defined in Morley.Micheline.Class Methods (==) :: FromExpressionError -> FromExpressionError -> Bool # (/=) :: FromExpressionError -> FromExpressionError -> Bool #
Show FromExpressionError Source #
Instance details Defined in Morley.Micheline.Class Methods showsPrec :: Int -> FromExpressionError -> ShowS # show :: FromExpressionError -> String # showList :: [FromExpressionError] -> ShowS #
Exception FromExpressionError Source #
Instance details Defined in Morley.Micheline.Class Methods toException :: FromExpressionError -> SomeException # fromException :: SomeException -> Maybe FromExpressionError # displayException :: FromExpressionError -> String #
Buildable FromExpressionError Source #
Instance details Defined in Morley.Micheline.Class Methods build :: FromExpressionError -> Builder #

class FromExpression a where Source #

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

Methods

fromExpression :: Expression -> Either FromExpressionError a Source #

Instances

Instances details

FromExpression T Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError T Source #
FromExpression Ty Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError Ty Source #
FromExpression T Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError T Source #
FromExpression ExpandedOp Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError ExpandedOp Source #
FromExpression ExpandedInstr Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError ExpandedInstr Source #
FromExpression Contract Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError Contract Source #
FromExpression Value Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError Value Source #
FromExpression a => FromExpression [a] Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError [a] Source #
SingI t => FromExpression (Value t) Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError (Value t) Source #
(SingI inp, SingI out) => FromExpression (Instr '[inp] '[out]) Source #
Instance details Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError (Instr '[inp] '[out]) Source #