Safe Haskell | None |
---|---|
Language | Haskell2010 |
Morley.Micheline
Description
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.
Methods
toExpression :: a -> Expression Source #
Instances
ToExpression T Source # | |
Defined in Morley.Micheline Methods toExpression :: T -> Expression Source # | |
SingI t => ToExpression (Notes t) Source # | |
Defined in Morley.Micheline Methods toExpression :: Notes t -> Expression Source # | |
(SingI t, HasNoOp t) => ToExpression (Value t) Source # | |
Defined in Morley.Micheline Methods toExpression :: Value t -> Expression Source # | |
ToExpression (FullContract cp st) Source # | |
Defined in Morley.Micheline Methods toExpression :: FullContract cp st -> Expression Source # | |
ToExpression (Instr inp out) Source # | |
Defined in Morley.Micheline Methods toExpression :: Instr inp out -> Expression Source # |
class FromExpression a where Source #
Type class that provides the ability to convert something from a Micheline Expression.
Methods
fromExpression :: Expression -> Maybe a Source #
Instances
UnpackedValScope t => FromExpression [ExpandedOp] Source # | |
Defined in Morley.Micheline Methods fromExpression :: Expression -> Maybe [ExpandedOp] Source # | |
UnpackedValScope t => FromExpression (Value t) Source # | |
Defined in Morley.Micheline Methods fromExpression :: Expression -> Maybe (Value t) Source # |