| 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 UnpackError
- class FromExpression a where
Documentation
class ToExpression a where Source #
Type class that provides an ability to convert something to Micheline Expression.
Methods
toExpression :: a -> Expression Source #
Instances
| ToExpression Type Source # | |
Defined in Morley.Micheline.Class Methods toExpression :: Type -> Expression Source # | |
| ToExpression T Source # | |
Defined in Morley.Micheline.Class Methods toExpression :: T -> Expression Source # | |
| SingI t => ToExpression (Notes t) Source # | |
Defined in Morley.Micheline.Class Methods toExpression :: Notes t -> Expression Source # | |
| (SingI t, HasNoOp t) => ToExpression (Value t) Source # | |
Defined in Morley.Micheline.Class Methods toExpression :: Value t -> Expression Source # | |
| ToExpression (Contract cp st) Source # | |
Defined in Morley.Micheline.Class Methods toExpression :: Contract cp st -> Expression Source # | |
| ToExpression (Instr inp out) Source # | |
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 UnpackError |
Instances
| Eq FromExpressionError Source # | |
Defined in Morley.Micheline.Class Methods (==) :: FromExpressionError -> FromExpressionError -> Bool # (/=) :: FromExpressionError -> FromExpressionError -> Bool # | |
| Show FromExpressionError Source # | |
Defined in Morley.Micheline.Class Methods showsPrec :: Int -> FromExpressionError -> ShowS # show :: FromExpressionError -> String # showList :: [FromExpressionError] -> ShowS # | |
| Exception FromExpressionError Source # | |
Defined in Morley.Micheline.Class Methods toException :: FromExpressionError -> SomeException # fromException :: SomeException -> Maybe FromExpressionError # | |
| Buildable FromExpressionError Source # | |
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
| FromExpression Type Source # | |
Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError Type Source # | |
| FromExpression T Source # | |
Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError T Source # | |
| FromExpression Contract Source # | |
Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError Contract Source # | |
| FromExpression [ExpandedOp] Source # | |
Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError [ExpandedOp] Source # | |
| UnpackedValScope t => FromExpression (Value t) Source # | |
Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError (Value t) Source # | |
| (KnownT inp, KnownT out) => FromExpression (Instr '[inp] '[out]) Source # | |
Defined in Morley.Micheline.Class Methods fromExpression :: Expression -> Either FromExpressionError (Instr '[inp] '[out]) Source # | |