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

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

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

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

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

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