Safe Haskell	None
Language	Haskell2010

Morley.Micheline.Expression

Description

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

Synopsis

data Annotation
data Expression
- = ExpressionInt Integer
- | ExpressionString Text
- | ExpressionBytes ByteString
- | ExpressionSeq (Seq Expression)
- | ExpressionPrim MichelinePrimAp
data MichelinePrimAp = MichelinePrimAp {
- mpaPrim :: MichelinePrimitive
- mpaArgs :: Seq Expression
- mpaAnnots :: Seq Annotation
}
newtype MichelinePrimitive = MichelinePrimitive Text
michelsonPrimitive :: Seq Text
annotToText :: Annotation -> Text
annotFromText :: MonadFail m => Text -> m Annotation

Documentation

data Annotation Source #

Constructors

AnnotationType TypeAnn
AnnotationVariable VarAnn
AnnotationField FieldAnn

Instances

Instances details

Eq Annotation Source #
Instance details Defined in Morley.Micheline.Expression Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
Data Annotation Source #
Instance details 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 Source #
Instance details Defined in Morley.Micheline.Expression Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
ToJSON Annotation Source #
Instance details Defined in Morley.Micheline.Expression Methods toJSON :: Annotation -> Value # toEncoding :: Annotation -> Encoding # toJSONList :: [Annotation] -> Value # toEncodingList :: [Annotation] -> Encoding #
FromJSON Annotation Source #
Instance details Defined in Morley.Micheline.Expression Methods parseJSON :: Value -> Parser Annotation # parseJSONList :: Value -> Parser [Annotation] #

data Expression Source #

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 (Seq Expression)
ExpressionPrim MichelinePrimAp

Instances

Instances details

Eq Expression Source #
Instance details Defined in Morley.Micheline.Expression Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Data Expression Source #
Instance details 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 Source #
Instance details Defined in Morley.Micheline.Expression Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
ToJSON Expression Source #
Instance details Defined in Morley.Micheline.Expression Methods toJSON :: Expression -> Value # toEncoding :: Expression -> Encoding # toJSONList :: [Expression] -> Value # toEncodingList :: [Expression] -> Encoding #
FromJSON Expression Source #
Instance details Defined in Morley.Micheline.Expression Methods parseJSON :: Value -> Parser Expression # parseJSONList :: Value -> Parser [Expression] #
Buildable Expression Source #
Instance details Defined in Morley.Micheline.Expression Methods build :: Expression -> Builder #
Plated Expression Source #
Instance details Defined in Morley.Micheline.Expression Methods plate :: Traversal' Expression Expression #

data MichelinePrimAp Source #

Constructors

MichelinePrimAp
Fields mpaPrim :: MichelinePrimitive mpaArgs :: Seq Expression mpaAnnots :: Seq Annotation

Instances

Instances details

Eq MichelinePrimAp Source #
Instance details Defined in Morley.Micheline.Expression Methods (==) :: MichelinePrimAp -> MichelinePrimAp -> Bool # (/=) :: MichelinePrimAp -> MichelinePrimAp -> Bool #
Data MichelinePrimAp Source #
Instance details 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 Source #
Instance details Defined in Morley.Micheline.Expression Methods showsPrec :: Int -> MichelinePrimAp -> ShowS # show :: MichelinePrimAp -> String # showList :: [MichelinePrimAp] -> ShowS #
ToJSON MichelinePrimAp Source #
Instance details Defined in Morley.Micheline.Expression Methods toJSON :: MichelinePrimAp -> Value # toEncoding :: MichelinePrimAp -> Encoding # toJSONList :: [MichelinePrimAp] -> Value # toEncodingList :: [MichelinePrimAp] -> Encoding #
FromJSON MichelinePrimAp Source #
Instance details Defined in Morley.Micheline.Expression Methods parseJSON :: Value -> Parser MichelinePrimAp # parseJSONList :: Value -> Parser [MichelinePrimAp] #

newtype MichelinePrimitive Source #

Constructors

MichelinePrimitive Text

Instances

Instances details

Eq MichelinePrimitive Source #
Instance details Defined in Morley.Micheline.Expression Methods (==) :: MichelinePrimitive -> MichelinePrimitive -> Bool # (/=) :: MichelinePrimitive -> MichelinePrimitive -> Bool #
Data MichelinePrimitive Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Morley.Micheline.Expression Methods showsPrec :: Int -> MichelinePrimitive -> ShowS # show :: MichelinePrimitive -> String # showList :: [MichelinePrimitive] -> ShowS #
ToJSON MichelinePrimitive Source #
Instance details Defined in Morley.Micheline.Expression Methods toJSON :: MichelinePrimitive -> Value # toEncoding :: MichelinePrimitive -> Encoding # toJSONList :: [MichelinePrimitive] -> Value # toEncodingList :: [MichelinePrimitive] -> Encoding #
FromJSON MichelinePrimitive Source #
Instance details Defined in Morley.Micheline.Expression Methods parseJSON :: Value -> Parser MichelinePrimitive # parseJSONList :: Value -> Parser [MichelinePrimitive] #

michelsonPrimitive :: Seq Text Source #

annotToText :: Annotation -> Text Source #

annotFromText :: MonadFail m => Text -> m Annotation Source #