Safe Haskell | None |
---|---|
Language | Haskell2010 |
Module that provides type classes for converting to and from low-level Micheline representation.
Synopsis
- class ToExpression a where
- toExpression :: a -> Expression
- class FromExpression a where
- fromExpression :: Expression -> Maybe a
Documentation
class ToExpression a where Source #
Type class that provides an ability to convert something to Micheline Expression.
toExpression :: a -> Expression Source #
Instances
ToExpression T Source # | |
Defined in Morley.Micheline toExpression :: T -> Expression Source # | |
SingI t => ToExpression (Notes t) Source # | |
Defined in Morley.Micheline toExpression :: Notes t -> Expression Source # | |
(SingI t, HasNoOp t) => ToExpression (Value t) Source # | |
Defined in Morley.Micheline toExpression :: Value t -> Expression Source # | |
ToExpression (FullContract cp st) Source # | |
Defined in Morley.Micheline toExpression :: FullContract cp st -> Expression Source # | |
ToExpression (Instr inp out) Source # | |
Defined in Morley.Micheline toExpression :: Instr inp out -> Expression Source # |
class FromExpression a where Source #
Type class that provides the ability to convert something from a Micheline Expression.
fromExpression :: Expression -> Maybe a Source #
Instances
UnpackedValScope t => FromExpression [ExpandedOp] Source # | |
Defined in Morley.Micheline fromExpression :: Expression -> Maybe [ExpandedOp] Source # | |
UnpackedValScope t => FromExpression (Value t) Source # | |
Defined in Morley.Micheline fromExpression :: Expression -> Maybe (Value t) Source # |