Morley.Micheline.Expression

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

Documentation

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]

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

ExpressionPrim MichelinePrimAp

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

data MichelinePrimAp

Constructors

MichelinePrimAp

Fields

• mpaPrim :: MichelinePrimitive
• mpaArgs :: Seq Expression
• mpaAnnots :: Seq 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]

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]

michelsonPrimitive :: Seq Text

annotToText :: Annotation -> Text

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