Morley.Micheline.Expression

Module that defines Expression type, its related types and its JSON instance.

Documentation

data Expression

Type for Micheline Expression

Constructors

ExpressionInt Integer

Micheline represents both nats and ints using the same decimal format. The Haskell Integer type spans all possible values that the final (Michelson) type could end up being, and then some, so we use (StringEncode Integer) to represent all integral values here for easy JSON encoding compatibility.

ExpressionString Text

ExpressionBytes ByteString

ExpressionSeq [Expression]

ExpressionPrim MichelinePrimAp

Bundled Patterns

pattern PrimExpr :: Text -> [Expression] -> [Annotation] -> Expression

Instances

Eq Expression

Defined in Morley.Micheline.Expression

Methods

(==) :: Expression -> Expression -> Bool

(/=) :: Expression -> Expression -> Bool

Data Expression

Defined in Morley.Micheline.Expression

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expression -> c Expression

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Expression

toConstr :: Expression -> Constr

dataTypeOf :: Expression -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Expression)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Expression)

gmapT :: (forall b. Data b => b -> b) -> Expression -> Expression

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expression -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expression -> r

gmapQ :: (forall d. Data d => d -> u) -> Expression -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Expression -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expression -> m Expression

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression -> m Expression

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression -> m Expression

Show Expression

Defined in Morley.Micheline.Expression

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

ToJSON Expression

Defined in Morley.Micheline.Expression

Methods

toJSON :: Expression -> Value

toEncoding :: Expression -> Encoding

toJSONList :: [Expression] -> Value

toEncodingList :: [Expression] -> Encoding

FromJSON Expression

Defined in Morley.Micheline.Expression

Methods

parseJSON :: Value -> Parser Expression

parseJSONList :: Value -> Parser [Expression]

Buildable Expression

Defined in Morley.Micheline.Expression

Methods

build :: Expression -> Builder

Plated Expression

Defined in Morley.Micheline.Expression

Methods

plate :: Traversal' Expression Expression

ToExpression Expression

Defined in Morley.Micheline.Class

Methods

toExpression :: Expression -> Expression

Lift Expression

Defined in Morley.Micheline.Expression

Methods

lift :: Expression -> Q Exp

liftTyped :: Expression -> Q (TExp Expression)

data MichelinePrimAp

Constructors

MichelinePrimAp

Fields

• mpaPrim :: MichelinePrimitive
• mpaArgs :: [Expression]
• mpaAnnots :: [Annotation]

Instances

Eq MichelinePrimAp

Defined in Morley.Micheline.Expression

Methods

(==) :: MichelinePrimAp -> MichelinePrimAp -> Bool

(/=) :: MichelinePrimAp -> MichelinePrimAp -> Bool

Data MichelinePrimAp

Defined in Morley.Micheline.Expression

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MichelinePrimAp -> c MichelinePrimAp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MichelinePrimAp

toConstr :: MichelinePrimAp -> Constr

dataTypeOf :: MichelinePrimAp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MichelinePrimAp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MichelinePrimAp)

gmapT :: (forall b. Data b => b -> b) -> MichelinePrimAp -> MichelinePrimAp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MichelinePrimAp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MichelinePrimAp -> r

gmapQ :: (forall d. Data d => d -> u) -> MichelinePrimAp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MichelinePrimAp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MichelinePrimAp -> m MichelinePrimAp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MichelinePrimAp -> m MichelinePrimAp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MichelinePrimAp -> m MichelinePrimAp

Show MichelinePrimAp

Defined in Morley.Micheline.Expression

Methods

showsPrec :: Int -> MichelinePrimAp -> ShowS

show :: MichelinePrimAp -> String

showList :: [MichelinePrimAp] -> ShowS

ToJSON MichelinePrimAp

Defined in Morley.Micheline.Expression

Methods

toJSON :: MichelinePrimAp -> Value

toEncoding :: MichelinePrimAp -> Encoding

toJSONList :: [MichelinePrimAp] -> Value

toEncodingList :: [MichelinePrimAp] -> Encoding

FromJSON MichelinePrimAp

Defined in Morley.Micheline.Expression

Methods

parseJSON :: Value -> Parser MichelinePrimAp

parseJSONList :: Value -> Parser [MichelinePrimAp]

Lift MichelinePrimAp

Defined in Morley.Micheline.Expression

Methods

lift :: MichelinePrimAp -> Q Exp

liftTyped :: MichelinePrimAp -> Q (TExp MichelinePrimAp)

newtype MichelinePrimitive

Constructors

MichelinePrimitive Text

Instances

Eq MichelinePrimitive

Defined in Morley.Micheline.Expression

Methods

(==) :: MichelinePrimitive -> MichelinePrimitive -> Bool

(/=) :: MichelinePrimitive -> MichelinePrimitive -> Bool

Data MichelinePrimitive

Defined in Morley.Micheline.Expression

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MichelinePrimitive -> c MichelinePrimitive

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MichelinePrimitive

toConstr :: MichelinePrimitive -> Constr

dataTypeOf :: MichelinePrimitive -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MichelinePrimitive)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MichelinePrimitive)

gmapT :: (forall b. Data b => b -> b) -> MichelinePrimitive -> MichelinePrimitive

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MichelinePrimitive -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MichelinePrimitive -> r

gmapQ :: (forall d. Data d => d -> u) -> MichelinePrimitive -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MichelinePrimitive -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MichelinePrimitive -> m MichelinePrimitive

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MichelinePrimitive -> m MichelinePrimitive

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MichelinePrimitive -> m MichelinePrimitive

Ord MichelinePrimitive

Defined in Morley.Micheline.Expression

Methods

compare :: MichelinePrimitive -> MichelinePrimitive -> Ordering

(<) :: MichelinePrimitive -> MichelinePrimitive -> Bool

(<=) :: MichelinePrimitive -> MichelinePrimitive -> Bool

(>) :: MichelinePrimitive -> MichelinePrimitive -> Bool

(>=) :: MichelinePrimitive -> MichelinePrimitive -> Bool

max :: MichelinePrimitive -> MichelinePrimitive -> MichelinePrimitive

min :: MichelinePrimitive -> MichelinePrimitive -> MichelinePrimitive

Show MichelinePrimitive

Defined in Morley.Micheline.Expression

Methods

showsPrec :: Int -> MichelinePrimitive -> ShowS

show :: MichelinePrimitive -> String

showList :: [MichelinePrimitive] -> ShowS

ToJSON MichelinePrimitive

Defined in Morley.Micheline.Expression

Methods

toJSON :: MichelinePrimitive -> Value

toEncoding :: MichelinePrimitive -> Encoding

toJSONList :: [MichelinePrimitive] -> Value

toEncodingList :: [MichelinePrimitive] -> Encoding

FromJSON MichelinePrimitive

Defined in Morley.Micheline.Expression

Methods

parseJSON :: Value -> Parser MichelinePrimitive

parseJSONList :: Value -> Parser [MichelinePrimitive]

Lift MichelinePrimitive

Defined in Morley.Micheline.Expression

Methods

lift :: MichelinePrimitive -> Q Exp

liftTyped :: MichelinePrimitive -> Q (TExp MichelinePrimitive)

michelsonPrimitive :: Seq Text

data Annotation

Constructors

AnnotationType TypeAnn

AnnotationVariable VarAnn

AnnotationField FieldAnn

Instances

Eq Annotation

Defined in Morley.Micheline.Expression

Methods

(==) :: Annotation -> Annotation -> Bool

(/=) :: Annotation -> Annotation -> Bool

Data Annotation

Defined in Morley.Micheline.Expression

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annotation -> c Annotation

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Annotation

toConstr :: Annotation -> Constr

dataTypeOf :: Annotation -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Annotation)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Annotation)

gmapT :: (forall b. Data b => b -> b) -> Annotation -> Annotation

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annotation -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annotation -> r

gmapQ :: (forall d. Data d => d -> u) -> Annotation -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Annotation -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation

Show Annotation

Defined in Morley.Micheline.Expression

Methods

showsPrec :: Int -> Annotation -> ShowS

show :: Annotation -> String

showList :: [Annotation] -> ShowS

ToJSON Annotation

Defined in Morley.Micheline.Expression

Methods

toJSON :: Annotation -> Value

toEncoding :: Annotation -> Encoding

toJSONList :: [Annotation] -> Value

toEncodingList :: [Annotation] -> Encoding

FromJSON Annotation

Defined in Morley.Micheline.Expression

Methods

parseJSON :: Value -> Parser Annotation

parseJSONList :: Value -> Parser [Annotation]

Lift Annotation

Defined in Morley.Micheline.Expression

Methods

lift :: Annotation -> Q Exp

liftTyped :: Annotation -> Q (TExp Annotation)

annotToText :: Annotation -> Text

annotFromText :: forall m. MonadFail m => Text -> m Annotation

isAnnotationField :: Annotation -> Bool

isAnnotationType :: Annotation -> Bool

isAnnotationVariable :: Annotation -> Bool

isNoAnn :: Annotation -> Bool

mkAnns :: [TypeAnn] -> [FieldAnn] -> [VarAnn] -> [Annotation]

toAnnSet :: [Annotation] -> AnnotationSet

Prisms

_ExpressionInt :: Prism' Expression Integer

_ExpressionString :: Prism' Expression Text

_ExpressionBytes :: Prism' Expression ByteString

_ExpressionSeq :: Prism' Expression [Expression]

_ExpressionPrim :: Prism' Expression MichelinePrimAp

_AnnotationField :: Prism' Annotation FieldAnn

_AnnotationVariable :: Prism' Annotation VarAnn

_AnnotationType :: Prism' Annotation TypeAnn

Lenses

mpaPrimL :: Lens' MichelinePrimAp MichelinePrimitive

mpaArgsL :: Lens' MichelinePrimAp [Expression]

mpaAnnotsL :: Lens' MichelinePrimAp [Annotation]