Morley.Types

Rexported from Michelson.Types

type Parameter = Type

type Storage = Type

data Contract op

Constructors

Contract

Fields

• para :: Parameter
• stor :: Storage
• code :: [op]

Instances

Functor Contract

Defined in Michelson.Untyped.Contract

Methods

fmap :: (a -> b) -> Contract a -> Contract b

(<$) :: a -> Contract b -> Contract a

Eq op => Eq (Contract op)

Defined in Michelson.Untyped.Contract

Methods

(==) :: Contract op -> Contract op -> Bool

(/=) :: Contract op -> Contract op -> Bool

Data op => Data (Contract op)

Defined in Michelson.Untyped.Contract

Methods

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

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

toConstr :: Contract op -> Constr

dataTypeOf :: Contract op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Contract op -> Contract op

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

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

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

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

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

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

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

Show op => Show (Contract op)

Defined in Michelson.Untyped.Contract

Methods

showsPrec :: Int -> Contract op -> ShowS

show :: Contract op -> String

showList :: [Contract op] -> ShowS

Generic (Contract op)

Defined in Michelson.Untyped.Contract

Associated Types

type Rep (Contract op) :: Type -> Type

Methods

from :: Contract op -> Rep (Contract op) x

to :: Rep (Contract op) x -> Contract op

ToJSON op => ToJSON (Contract op)

Defined in Michelson.Untyped.Contract

Methods

toJSON :: Contract op -> Value

toEncoding :: Contract op -> Encoding

toJSONList :: [Contract op] -> Value

toEncodingList :: [Contract op] -> Encoding

FromJSON op => FromJSON (Contract op)

Defined in Michelson.Untyped.Contract

Methods

parseJSON :: Value -> Parser (Contract op)

parseJSONList :: Value -> Parser [Contract op]

Buildable op => Buildable (Contract op)

Defined in Michelson.Untyped.Contract

Methods

build :: Contract op -> Builder

type Rep (Contract op)

Defined in Michelson.Untyped.Contract

type Rep (Contract op) = D1 (MetaData "Contract" "Michelson.Untyped.Contract" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "Contract" PrefixI True) (S1 (MetaSel (Just "para") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Parameter) :*: (S1 (MetaSel (Just "stor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Storage) :*: S1 (MetaSel (Just "code") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]))))

data Value op

Constructors

ValueInt Integer

ValueString Text

ValueBytes InternalByteString

ValueUnit

ValueTrue

ValueFalse

ValuePair (Value op) (Value op)

ValueLeft (Value op)

ValueRight (Value op)

ValueSome (Value op)

ValueNone

ValueNil

ValueSeq (NonEmpty $ Value op)

A sequence of elements: can be a list or a set. We can't distinguish lists and sets during parsing.

ValueMap (NonEmpty $ Elt op)

ValueLambda (NonEmpty op)

Instances

Functor Value

Defined in Michelson.Untyped.Value

Methods

fmap :: (a -> b) -> Value a -> Value b

(<$) :: a -> Value b -> Value a

Eq op => Eq (Value op)

Defined in Michelson.Untyped.Value

Methods

(==) :: Value op -> Value op -> Bool

(/=) :: Value op -> Value op -> Bool

Data op => Data (Value op)

Defined in Michelson.Untyped.Value

Methods

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

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

toConstr :: Value op -> Constr

dataTypeOf :: Value op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Value op -> Value op

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

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

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

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

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

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

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

Show op => Show (Value op)

Defined in Michelson.Untyped.Value

Methods

showsPrec :: Int -> Value op -> ShowS

show :: Value op -> String

showList :: [Value op] -> ShowS

Generic (Value op)

Defined in Michelson.Untyped.Value

Associated Types

type Rep (Value op) :: Type -> Type

Methods

from :: Value op -> Rep (Value op) x

to :: Rep (Value op) x -> Value op

ToJSON op => ToJSON (Value op)

Defined in Michelson.Untyped.Value

Methods

toJSON :: Value op -> Value0

toEncoding :: Value op -> Encoding

toJSONList :: [Value op] -> Value0

toEncodingList :: [Value op] -> Encoding

FromJSON op => FromJSON (Value op)

Defined in Michelson.Untyped.Value

Methods

parseJSON :: Value0 -> Parser (Value op)

parseJSONList :: Value0 -> Parser [Value op]

Buildable op => Buildable (Value op)

Defined in Michelson.Untyped.Value

Methods

build :: Value op -> Builder

type Rep (Value op)

Defined in Michelson.Untyped.Value

type Rep (Value op) = D1 (MetaData "Value" "Michelson.Untyped.Value" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (((C1 (MetaCons "ValueInt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: (C1 (MetaCons "ValueString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "ValueBytes" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InternalByteString)))) :+: ((C1 (MetaCons "ValueUnit" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ValueTrue" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ValueFalse" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ValuePair" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op)))))) :+: (((C1 (MetaCons "ValueLeft" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op))) :+: C1 (MetaCons "ValueRight" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op)))) :+: (C1 (MetaCons "ValueSome" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op))) :+: C1 (MetaCons "ValueNone" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "ValueNil" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ValueSeq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty $ Value op)))) :+: (C1 (MetaCons "ValueMap" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty $ Elt op))) :+: C1 (MetaCons "ValueLambda" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty op)))))))

data Elt op

Constructors

Elt (Value op) (Value op)

Instances

Functor Elt

Defined in Michelson.Untyped.Value

Methods

fmap :: (a -> b) -> Elt a -> Elt b

(<$) :: a -> Elt b -> Elt a

Eq op => Eq (Elt op)

Defined in Michelson.Untyped.Value

Methods

(==) :: Elt op -> Elt op -> Bool

(/=) :: Elt op -> Elt op -> Bool

Data op => Data (Elt op)

Defined in Michelson.Untyped.Value

Methods

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

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

toConstr :: Elt op -> Constr

dataTypeOf :: Elt op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Elt op -> Elt op

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

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

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

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

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

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

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

Show op => Show (Elt op)

Defined in Michelson.Untyped.Value

Methods

showsPrec :: Int -> Elt op -> ShowS

show :: Elt op -> String

showList :: [Elt op] -> ShowS

Generic (Elt op)

Defined in Michelson.Untyped.Value

Associated Types

type Rep (Elt op) :: Type -> Type

Methods

from :: Elt op -> Rep (Elt op) x

to :: Rep (Elt op) x -> Elt op

ToJSON op => ToJSON (Elt op)

Defined in Michelson.Untyped.Value

Methods

toJSON :: Elt op -> Value

toEncoding :: Elt op -> Encoding

toJSONList :: [Elt op] -> Value

toEncodingList :: [Elt op] -> Encoding

FromJSON op => FromJSON (Elt op)

Defined in Michelson.Untyped.Value

Methods

parseJSON :: Value -> Parser (Elt op)

parseJSONList :: Value -> Parser [Elt op]

Buildable op => Buildable (Elt op)

Defined in Michelson.Untyped.Value

Methods

build :: Elt op -> Builder

type Rep (Elt op)

Defined in Michelson.Untyped.Value

type Rep (Elt op) = D1 (MetaData "Elt" "Michelson.Untyped.Value" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "Elt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op))))

data InstrAbstract op

Michelson instruction with abstract parameter op. This parameter is necessary, because at different stages of our pipeline it will be different. Initially it can contain macros and non-flattened instructions, but then it contains only vanilla Michelson instructions.

Constructors

EXT (ExtU InstrAbstract op)

DROP

DUP VarAnn

SWAP

PUSH VarAnn Type (Value op)

SOME TypeAnn VarAnn FieldAnn

NONE TypeAnn VarAnn FieldAnn Type

UNIT TypeAnn VarAnn

IF_NONE [op] [op]

PAIR TypeAnn VarAnn FieldAnn FieldAnn

CAR VarAnn FieldAnn

CDR VarAnn FieldAnn

LEFT TypeAnn VarAnn FieldAnn FieldAnn Type

RIGHT TypeAnn VarAnn FieldAnn FieldAnn Type

IF_LEFT [op] [op]

IF_RIGHT [op] [op]

NIL TypeAnn VarAnn Type

CONS VarAnn

IF_CONS [op] [op]

SIZE VarAnn

EMPTY_SET TypeAnn VarAnn Comparable

EMPTY_MAP TypeAnn VarAnn Comparable Type

MAP VarAnn [op]

ITER [op]

MEM VarAnn

GET VarAnn

UPDATE

IF [op] [op]

LOOP [op]

LOOP_LEFT [op]

LAMBDA VarAnn Type Type [op]

EXEC VarAnn

DIP [op]

FAILWITH

CAST VarAnn Type

RENAME VarAnn

PACK VarAnn

UNPACK VarAnn Type

CONCAT VarAnn

SLICE VarAnn

ISNAT VarAnn

ADD VarAnn

SUB VarAnn

MUL VarAnn

EDIV VarAnn

ABS VarAnn

NEG

LSL VarAnn

LSR VarAnn

OR VarAnn

AND VarAnn

XOR VarAnn

NOT VarAnn

COMPARE VarAnn

EQ VarAnn

NEQ VarAnn

LT VarAnn

GT VarAnn

LE VarAnn

GE VarAnn

INT VarAnn

SELF VarAnn

CONTRACT VarAnn Type

TRANSFER_TOKENS VarAnn

SET_DELEGATE VarAnn

CREATE_ACCOUNT VarAnn VarAnn

CREATE_CONTRACT VarAnn VarAnn

CREATE_CONTRACT2 VarAnn VarAnn (Contract op)

IMPLICIT_ACCOUNT VarAnn

NOW VarAnn

AMOUNT VarAnn

BALANCE VarAnn

CHECK_SIGNATURE VarAnn

SHA256 VarAnn

SHA512 VarAnn

BLAKE2B VarAnn

HASH_KEY VarAnn

STEPS_TO_QUOTA VarAnn

SOURCE VarAnn

SENDER VarAnn

ADDRESS VarAnn

Instances

Functor (ExtU InstrAbstract) => Functor InstrAbstract

Defined in Michelson.Untyped.Instr

Methods

fmap :: (a -> b) -> InstrAbstract a -> InstrAbstract b

(<$) :: a -> InstrAbstract b -> InstrAbstract a

Buildable ExpandedInstr

Defined in Morley.Types

Methods

build :: ExpandedInstr -> Builder

Buildable Instr

Defined in Morley.Types

Methods

build :: Instr -> Builder

Buildable ParsedInstr

Defined in Morley.Types

Methods

build :: ParsedInstr -> Builder

(Eq op, Eq (ExtU InstrAbstract op)) => Eq (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

(==) :: InstrAbstract op -> InstrAbstract op -> Bool

(/=) :: InstrAbstract op -> InstrAbstract op -> Bool

(Data op, Data (ExtU InstrAbstract op)) => Data (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

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

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

toConstr :: InstrAbstract op -> Constr

dataTypeOf :: InstrAbstract op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> InstrAbstract op -> InstrAbstract op

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

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

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

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

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

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

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

(Show op, Show (ExtU InstrAbstract op)) => Show (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> InstrAbstract op -> ShowS

show :: InstrAbstract op -> String

showList :: [InstrAbstract op] -> ShowS

Generic (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Associated Types

type Rep (InstrAbstract op) :: Type -> Type

Methods

from :: InstrAbstract op -> Rep (InstrAbstract op) x

to :: Rep (InstrAbstract op) x -> InstrAbstract op

(ToJSON op, ToJSON (ExtU InstrAbstract op)) => ToJSON (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

toJSON :: InstrAbstract op -> Value

toEncoding :: InstrAbstract op -> Encoding

toJSONList :: [InstrAbstract op] -> Value

toEncodingList :: [InstrAbstract op] -> Encoding

(FromJSON op, FromJSON (ExtU InstrAbstract op)) => FromJSON (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser (InstrAbstract op)

parseJSONList :: Value -> Parser [InstrAbstract op]

type ExtU InstrAbstract

Defined in Morley.Types

type ExtU InstrAbstract = UExtInstrAbstract

type Rep (InstrAbstract op)

Defined in Michelson.Untyped.Instr

type Rep (InstrAbstract op) = D1 (MetaData "InstrAbstract" "Michelson.Untyped.Instr" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) ((((((C1 (MetaCons "EXT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ExtU InstrAbstract op))) :+: C1 (MetaCons "DROP" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DUP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "SWAP" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "PUSH" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value op))))))) :+: ((C1 (MetaCons "SOME" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn))) :+: C1 (MetaCons "NONE" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: (C1 (MetaCons "UNIT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "IF_NONE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "PAIR" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn))))))) :+: (((C1 (MetaCons "CAR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn)) :+: C1 (MetaCons "CDR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn))) :+: (C1 (MetaCons "LEFT" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: (C1 (MetaCons "RIGHT" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: C1 (MetaCons "IF_LEFT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]))))) :+: ((C1 (MetaCons "IF_RIGHT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "NIL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: (C1 (MetaCons "CONS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "IF_CONS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "SIZE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))))) :+: ((((C1 (MetaCons "EMPTY_SET" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable))) :+: C1 (MetaCons "EMPTY_MAP" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: (C1 (MetaCons "MAP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: (C1 (MetaCons "ITER" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "MEM" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "GET" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "UPDATE" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "IF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: (C1 (MetaCons "LOOP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "LOOP_LEFT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])))))) :+: (((C1 (MetaCons "LAMBDA" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]))) :+: C1 (MetaCons "EXEC" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "DIP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: (C1 (MetaCons "FAILWITH" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CAST" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))))) :+: ((C1 (MetaCons "RENAME" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "PACK" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "UNPACK" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: (C1 (MetaCons "CONCAT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SLICE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))))) :+: (((((C1 (MetaCons "ISNAT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "ADD" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "SUB" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "MUL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "EDIV" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "ABS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "NEG" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "LSL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "LSR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "OR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))) :+: (((C1 (MetaCons "AND" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "XOR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "NOT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "COMPARE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "EQ" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "NEQ" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "LT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "GT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "LE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "GE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))))) :+: ((((C1 (MetaCons "INT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SELF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "CONTRACT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: (C1 (MetaCons "TRANSFER_TOKENS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SET_DELEGATE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "CREATE_ACCOUNT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "CREATE_CONTRACT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "CREATE_CONTRACT2" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Contract op)))) :+: (C1 (MetaCons "IMPLICIT_ACCOUNT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "NOW" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))) :+: (((C1 (MetaCons "AMOUNT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "BALANCE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "CHECK_SIGNATURE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "SHA256" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SHA512" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "BLAKE2B" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "HASH_KEY" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "STEPS_TO_QUOTA" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))) :+: (C1 (MetaCons "SOURCE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "SENDER" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "ADDRESS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))))))

type Instr = InstrAbstract Op

newtype Op

Constructors

Op

Fields

• unOp :: Instr

Instances

Eq (ExtU InstrAbstract Op) => Eq Op

Defined in Michelson.Untyped.Instr

Methods

(==) :: Op -> Op -> Bool

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

Show (ExtU InstrAbstract Op) => Show Op

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> Op -> ShowS

show :: Op -> String

showList :: [Op] -> ShowS

Generic Op

Defined in Michelson.Untyped.Instr

Associated Types

type Rep Op :: Type -> Type

Methods

from :: Op -> Rep Op x

to :: Rep Op x -> Op

ToJSON Instr => ToJSON Op

Defined in Michelson.Untyped.Instr

Methods

toJSON :: Op -> Value

toEncoding :: Op -> Encoding

toJSONList :: [Op] -> Value

toEncodingList :: [Op] -> Encoding

FromJSON Instr => FromJSON Op

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser Op

parseJSONList :: Value -> Parser [Op]

Buildable Instr => Buildable Op

Defined in Michelson.Untyped.Instr

Methods

build :: Op -> Builder

Buildable Instr

Defined in Morley.Types

Methods

build :: Instr -> Builder

type Rep Op

Defined in Michelson.Untyped.Instr

type Rep Op = D1 (MetaData "Op" "Michelson.Untyped.Instr" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" True) (C1 (MetaCons "Op" PrefixI True) (S1 (MetaSel (Just "unOp") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Instr)))

type TypeAnn = Annotation TypeTag

type FieldAnn = Annotation FieldTag

type VarAnn = Annotation VarTag

ann :: Text -> Annotation a

noAnn :: Annotation a

data Type

Constructors

Type T TypeAnn

Instances

Eq Type

Defined in Michelson.Untyped.Type

Methods

(==) :: Type -> Type -> Bool

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

Data Type

Defined in Michelson.Untyped.Type

Methods

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

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

toConstr :: Type -> Constr

dataTypeOf :: Type -> DataType

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

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

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

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

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

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

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

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

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

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

Show Type

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Generic Type

Defined in Michelson.Untyped.Type

Associated Types

type Rep Type :: Type -> Type

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

ToJSON Type

Defined in Michelson.Untyped.Type

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

FromJSON Type

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser Type

parseJSONList :: Value -> Parser [Type]

Buildable Type

Defined in Michelson.Untyped.Type

Methods

build :: Type -> Builder

type Rep Type

Defined in Michelson.Untyped.Type

type Rep Type = D1 (MetaData "Type" "Michelson.Untyped.Type" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "Type" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 T) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn)))

data Comparable

Constructors

Comparable CT TypeAnn

Instances

Eq Comparable

Defined in Michelson.Untyped.Type

Methods

(==) :: Comparable -> Comparable -> Bool

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

Data Comparable

Defined in Michelson.Untyped.Type

Methods

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

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

toConstr :: Comparable -> Constr

dataTypeOf :: Comparable -> DataType

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

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

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

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

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

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

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

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

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

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

Show Comparable

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> Comparable -> ShowS

show :: Comparable -> String

showList :: [Comparable] -> ShowS

Generic Comparable

Defined in Michelson.Untyped.Type

Associated Types

type Rep Comparable :: Type -> Type

Methods

from :: Comparable -> Rep Comparable x

to :: Rep Comparable x -> Comparable

ToJSON Comparable

Defined in Michelson.Untyped.Type

Methods

toJSON :: Comparable -> Value

toEncoding :: Comparable -> Encoding

toJSONList :: [Comparable] -> Value

toEncodingList :: [Comparable] -> Encoding

FromJSON Comparable

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser Comparable

parseJSONList :: Value -> Parser [Comparable]

Buildable Comparable

Defined in Michelson.Untyped.Type

Methods

build :: Comparable -> Builder

type Rep Comparable

Defined in Michelson.Untyped.Type

type Rep Comparable = D1 (MetaData "Comparable" "Michelson.Untyped.Type" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "Comparable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CT) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn)))

data T

Constructors

Tc CT

TKey

TUnit

TSignature

TOption FieldAnn Type

TList Type

TSet Comparable

TOperation

TContract Type

TPair FieldAnn FieldAnn Type Type

TOr FieldAnn FieldAnn Type Type

TLambda Type Type

TMap Comparable Type

TBigMap Comparable Type

Instances

Eq T

Defined in Michelson.Untyped.Type

Methods

(==) :: T -> T -> Bool

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

Data T

Defined in Michelson.Untyped.Type

Methods

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

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

toConstr :: T -> Constr

dataTypeOf :: T -> DataType

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

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

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

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

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

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

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

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

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

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

Show T

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> T -> ShowS

show :: T -> String

showList :: [T] -> ShowS

Generic T

Defined in Michelson.Untyped.Type

Associated Types

type Rep T :: Type -> Type

Methods

from :: T -> Rep T x

to :: Rep T x -> T

ToJSON T

Defined in Michelson.Untyped.Type

Methods

toJSON :: T -> Value

toEncoding :: T -> Encoding

toJSONList :: [T] -> Value

toEncodingList :: [T] -> Encoding

FromJSON T

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser T

parseJSONList :: Value -> Parser [T]

Buildable T

Defined in Michelson.Untyped.Type

Methods

build :: T -> Builder

type Rep T

Defined in Michelson.Untyped.Type

type Rep T = D1 (MetaData "T" "Michelson.Untyped.Type" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (((C1 (MetaCons "Tc" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CT)) :+: (C1 (MetaCons "TKey" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TUnit" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "TSignature" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TOption" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))) :+: (C1 (MetaCons "TList" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: C1 (MetaCons "TSet" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable))))) :+: ((C1 (MetaCons "TOperation" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "TContract" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: C1 (MetaCons "TPair" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))))) :+: ((C1 (MetaCons "TOr" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))) :+: C1 (MetaCons "TLambda" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))) :+: (C1 (MetaCons "TMap" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: C1 (MetaCons "TBigMap" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))))))

data CT

Constructors

CInt

CNat

CString

CBytes

CMutez

CBool

CKeyHash

CTimestamp

CAddress

Instances

Bounded CT

Defined in Michelson.Untyped.Type

Methods

minBound :: CT

maxBound :: CT

Enum CT

Defined in Michelson.Untyped.Type

Methods

succ :: CT -> CT

pred :: CT -> CT

toEnum :: Int -> CT

fromEnum :: CT -> Int

enumFrom :: CT -> [CT]

enumFromThen :: CT -> CT -> [CT]

enumFromTo :: CT -> CT -> [CT]

enumFromThenTo :: CT -> CT -> CT -> [CT]

Eq CT

Defined in Michelson.Untyped.Type

Methods

(==) :: CT -> CT -> Bool

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

Data CT

Defined in Michelson.Untyped.Type

Methods

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

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

toConstr :: CT -> Constr

dataTypeOf :: CT -> DataType

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

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

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

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

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

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

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

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

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

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

Ord CT

Defined in Michelson.Untyped.Type

Methods

compare :: CT -> CT -> Ordering

(<) :: CT -> CT -> Bool

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

(>) :: CT -> CT -> Bool

(>=) :: CT -> CT -> Bool

max :: CT -> CT -> CT

min :: CT -> CT -> CT

Show CT

Defined in Michelson.Untyped.Type

Methods

showsPrec :: Int -> CT -> ShowS

show :: CT -> String

showList :: [CT] -> ShowS

Generic CT

Defined in Michelson.Untyped.Type

Associated Types

type Rep CT :: Type -> Type

Methods

from :: CT -> Rep CT x

to :: Rep CT x -> CT

ToJSON CT

Defined in Michelson.Untyped.Type

Methods

toJSON :: CT -> Value

toEncoding :: CT -> Encoding

toJSONList :: [CT] -> Value

toEncodingList :: [CT] -> Encoding

FromJSON CT

Defined in Michelson.Untyped.Type

Methods

parseJSON :: Value -> Parser CT

parseJSONList :: Value -> Parser [CT]

Buildable CT

Defined in Michelson.Untyped.Type

Methods

build :: CT -> Builder

SingI CInt

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CInt

SingI CNat

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CNat

SingI CString

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CString

SingI CBytes

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CBytes

SingI CMutez

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CMutez

SingI CBool

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CBool

SingI CKeyHash

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CKeyHash

SingI CTimestamp

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CTimestamp

SingI CAddress

Defined in Michelson.Typed.Sing

Methods

sing :: Sing CAddress

type Rep CT

Defined in Michelson.Untyped.Type

type Rep CT = D1 (MetaData "CT" "Michelson.Untyped.Type" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (((C1 (MetaCons "CInt" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CNat" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CString" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CBytes" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "CMutez" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CBool" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CKeyHash" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CTimestamp" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CAddress" PrefixI False) (U1 :: Type -> Type)))))

data Sing (a :: CT)

Instance of data family Sing for CT.

Defined in Michelson.Typed.Sing

data Sing (a :: CT) where

• SCInt :: forall (a :: CT). Sing CInt
• SCNat :: forall (a :: CT). Sing CNat
• SCString :: forall (a :: CT). Sing CString
• SCBytes :: forall (a :: CT). Sing CBytes
• SCMutez :: forall (a :: CT). Sing CMutez
• SCBool :: forall (a :: CT). Sing CBool
• SCKeyHash :: forall (a :: CT). Sing CKeyHash
• SCTimestamp :: forall (a :: CT). Sing CTimestamp
• SCAddress :: forall (a :: CT). Sing CAddress

newtype Annotation tag

Constructors

Annotation Text

Instances

Semigroup VarAnn

Defined in Michelson.Untyped.Annotation

Methods

(<>) :: VarAnn -> VarAnn -> VarAnn

sconcat :: NonEmpty VarAnn -> VarAnn

stimes :: Integral b => b -> VarAnn -> VarAnn

Monoid VarAnn

Defined in Michelson.Untyped.Annotation

Methods

mempty :: VarAnn

mappend :: VarAnn -> VarAnn -> VarAnn

mconcat :: [VarAnn] -> VarAnn

Buildable VarAnn

Defined in Michelson.Untyped.Annotation

Methods

build :: VarAnn -> Builder

Buildable FieldAnn

Defined in Michelson.Untyped.Annotation

Methods

build :: FieldAnn -> Builder

Buildable TypeAnn

Defined in Michelson.Untyped.Annotation

Methods

build :: TypeAnn -> Builder

Functor (Annotation :: Type -> Type)

Defined in Michelson.Untyped.Annotation

Methods

fmap :: (a -> b) -> Annotation a -> Annotation b

(<$) :: a -> Annotation b -> Annotation a

Eq (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

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

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

(Typeable tag, Typeable k) => Data (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

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

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

toConstr :: Annotation tag -> Constr

dataTypeOf :: Annotation tag -> DataType

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

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

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

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

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

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

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

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

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

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

IsString (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

fromString :: String -> Annotation tag

Generic (Annotation tag)

Defined in Michelson.Untyped.Annotation

Associated Types

type Rep (Annotation tag) :: Type -> Type

Methods

from :: Annotation tag -> Rep (Annotation tag) x

to :: Rep (Annotation tag) x -> Annotation tag

ToJSON (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

toJSON :: Annotation tag -> Value

toEncoding :: Annotation tag -> Encoding

toJSONList :: [Annotation tag] -> Value

toEncodingList :: [Annotation tag] -> Encoding

FromJSON (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

parseJSON :: Value -> Parser (Annotation tag)

parseJSONList :: Value -> Parser [Annotation tag]

Default (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

def :: Annotation tag

type Rep (Annotation tag)

Defined in Michelson.Untyped.Annotation

type Rep (Annotation tag) = D1 (MetaData "Annotation" "Michelson.Untyped.Annotation" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" True) (C1 (MetaCons "Annotation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

newtype InternalByteString

ByteString does not have an instance for ToJSON and FromJSON, to avoid orphan type class instances, make a new type wrapper around it.

Constructors

InternalByteString ByteString

Instances

Eq InternalByteString

Defined in Michelson.Untyped.Value

Methods

(==) :: InternalByteString -> InternalByteString -> Bool

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

Data InternalByteString

Defined in Michelson.Untyped.Value

Methods

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

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

toConstr :: InternalByteString -> Constr

dataTypeOf :: InternalByteString -> DataType

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

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

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

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

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

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

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

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

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

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

Show InternalByteString

Defined in Michelson.Untyped.Value

Methods

showsPrec :: Int -> InternalByteString -> ShowS

show :: InternalByteString -> String

showList :: [InternalByteString] -> ShowS

ToJSON InternalByteString

Defined in Michelson.Untyped.Value

Methods

toJSON :: InternalByteString -> Value

toEncoding :: InternalByteString -> Encoding

toJSONList :: [InternalByteString] -> Value

toEncodingList :: [InternalByteString] -> Encoding

FromJSON InternalByteString

Defined in Michelson.Untyped.Value

Methods

parseJSON :: Value -> Parser InternalByteString

parseJSONList :: Value -> Parser [InternalByteString]

unInternalByteString :: InternalByteString -> ByteString

data CustomParserException

Constructors

UnknownTypeException

OddNumberBytesException

UnexpectedLineBreak

Instances

Eq CustomParserException

Defined in Morley.Types

Methods

(==) :: CustomParserException -> CustomParserException -> Bool

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

Data CustomParserException

Defined in Morley.Types

Methods

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

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

toConstr :: CustomParserException -> Constr

dataTypeOf :: CustomParserException -> DataType

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

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

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

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

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

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

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

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

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

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

Ord CustomParserException

Defined in Morley.Types

Methods

compare :: CustomParserException -> CustomParserException -> Ordering

(<) :: CustomParserException -> CustomParserException -> Bool

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

(>) :: CustomParserException -> CustomParserException -> Bool

(>=) :: CustomParserException -> CustomParserException -> Bool

max :: CustomParserException -> CustomParserException -> CustomParserException

min :: CustomParserException -> CustomParserException -> CustomParserException

Show CustomParserException

Defined in Morley.Types

Methods

showsPrec :: Int -> CustomParserException -> ShowS

show :: CustomParserException -> String

showList :: [CustomParserException] -> ShowS

ShowErrorComponent CustomParserException

Defined in Morley.Types

Methods

showErrorComponent :: CustomParserException -> String

errorComponentLen :: CustomParserException -> Int

Default a => Default (Parser a)

Defined in Morley.Types

Methods

def :: Parser a

type Parser = ReaderT LetEnv (Parsec CustomParserException Text)

type Parsec e s = ParsecT e s Identity

Parsec is a non-transformer variant of the more general ParsecT monad transformer.

data ParseErrorBundle s e

A non-empty collection of ParseErrors equipped with PosState that allows to pretty-print the errors efficiently and correctly.

Since: megaparsec-7.0.0

Instances

(Eq s, Eq (Token s), Eq e) => Eq (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Methods

(==) :: ParseErrorBundle s e -> ParseErrorBundle s e -> Bool

(/=) :: ParseErrorBundle s e -> ParseErrorBundle s e -> Bool

(Data s, Data (Token s), Ord (Token s), Data e, Ord e) => Data (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParseErrorBundle s e -> c (ParseErrorBundle s e)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ParseErrorBundle s e)

toConstr :: ParseErrorBundle s e -> Constr

dataTypeOf :: ParseErrorBundle s e -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ParseErrorBundle s e))

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

gmapT :: (forall b. Data b => b -> b) -> ParseErrorBundle s e -> ParseErrorBundle s e

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParseErrorBundle s e -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParseErrorBundle s e -> r

gmapQ :: (forall d. Data d => d -> u) -> ParseErrorBundle s e -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ParseErrorBundle s e -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParseErrorBundle s e -> m (ParseErrorBundle s e)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParseErrorBundle s e -> m (ParseErrorBundle s e)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParseErrorBundle s e -> m (ParseErrorBundle s e)

(Show s, Show (Token s), Show e) => Show (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Methods

showsPrec :: Int -> ParseErrorBundle s e -> ShowS

show :: ParseErrorBundle s e -> String

showList :: [ParseErrorBundle s e] -> ShowS

Generic (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Associated Types

type Rep (ParseErrorBundle s e) :: Type -> Type

Methods

from :: ParseErrorBundle s e -> Rep (ParseErrorBundle s e) x

to :: Rep (ParseErrorBundle s e) x -> ParseErrorBundle s e

(Show s, Show (Token s), Show e, ShowErrorComponent e, Stream s, Typeable s, Typeable e) => Exception (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Methods

toException :: ParseErrorBundle s e -> SomeException

fromException :: SomeException -> Maybe (ParseErrorBundle s e)

displayException :: ParseErrorBundle s e -> String

(NFData s, NFData (Token s), NFData e) => NFData (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Methods

rnf :: ParseErrorBundle s e -> ()

type Rep (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

type Rep (ParseErrorBundle s e) = D1 (MetaData "ParseErrorBundle" "Text.Megaparsec.Error" "megaparsec-7.0.4-9ALYGrjYOOC9k3jnVKNZ4m" False) (C1 (MetaCons "ParseErrorBundle" PrefixI True) (S1 (MetaSel (Just "bundleErrors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty (ParseError s e))) :*: S1 (MetaSel (Just "bundlePosState") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (PosState s))))

data ParserException

Constructors

ParserException (ParseErrorBundle Text CustomParserException)

Instances

Show ParserException

Defined in Morley.Types

Methods

showsPrec :: Int -> ParserException -> ShowS

show :: ParserException -> String

showList :: [ParserException] -> ShowS

Exception ParserException

Defined in Morley.Types

Methods

toException :: ParserException -> SomeException

fromException :: SomeException -> Maybe ParserException

displayException :: ParserException -> String

Buildable ParserException

Defined in Morley.Types

Methods

build :: ParserException -> Builder

data LetEnv

The environment containing lets from the let-block

Constructors

LetEnv

Fields

• letMacros :: Map Text LetMacro
• letValues :: Map Text LetValue
• letTypes :: Map Text LetType

Instances

Eq LetEnv

Defined in Morley.Types

Methods

(==) :: LetEnv -> LetEnv -> Bool

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

Show LetEnv

Defined in Morley.Types

Methods

showsPrec :: Int -> LetEnv -> ShowS

show :: LetEnv -> String

showList :: [LetEnv] -> ShowS

Default a => Default (Parser a)

Defined in Morley.Types

Methods

def :: Parser a

noLetEnv :: LetEnv

data UExtInstrAbstract op

Implementation-specific instructions embedded in a NOP primitive, which mark a specific point during a contract's typechecking or execution.

These instructions are not allowed to modify the contract's stack, but may impose additional constraints that can cause a contract to report errors in type-checking or testing.

Additionaly, some implementation-specific language features such as type-checking of LetMacros are implemented using this mechanism (specifically FN and FN_END).

Constructors

STACKTYPE StackTypePattern

Matches current stack against a type-pattern

FN Text StackFn

Begin a typed stack function (push a TcExtFrame)

FN_END

End a stack function (pop a TcExtFrame)

UTEST_ASSERT (UTestAssert op)

Copy the current stack and run an inline assertion on it

UPRINT PrintComment

Print a comment with optional embedded StackRefs

Instances

Functor UExtInstrAbstract

Defined in Morley.Types

Methods

fmap :: (a -> b) -> UExtInstrAbstract a -> UExtInstrAbstract b

(<$) :: a -> UExtInstrAbstract b -> UExtInstrAbstract a

Conversible ExtInstr (UExtInstrAbstract ExpandedOp)

Defined in Morley.Types

Methods

convert :: ExtInstr -> UExtInstrAbstract ExpandedOp

Eq op => Eq (UExtInstrAbstract op)

Defined in Morley.Types

Methods

(==) :: UExtInstrAbstract op -> UExtInstrAbstract op -> Bool

(/=) :: UExtInstrAbstract op -> UExtInstrAbstract op -> Bool

Data op => Data (UExtInstrAbstract op)

Defined in Morley.Types

Methods

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

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

toConstr :: UExtInstrAbstract op -> Constr

dataTypeOf :: UExtInstrAbstract op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> UExtInstrAbstract op -> UExtInstrAbstract op

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

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

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

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

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

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

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

Show op => Show (UExtInstrAbstract op)

Defined in Morley.Types

Methods

showsPrec :: Int -> UExtInstrAbstract op -> ShowS

show :: UExtInstrAbstract op -> String

showList :: [UExtInstrAbstract op] -> ShowS

Generic (UExtInstrAbstract op)

Defined in Morley.Types

Associated Types

type Rep (UExtInstrAbstract op) :: Type -> Type

Methods

from :: UExtInstrAbstract op -> Rep (UExtInstrAbstract op) x

to :: Rep (UExtInstrAbstract op) x -> UExtInstrAbstract op

ToJSON op => ToJSON (UExtInstrAbstract op)

Defined in Morley.Types

Methods

toJSON :: UExtInstrAbstract op -> Value

toEncoding :: UExtInstrAbstract op -> Encoding

toJSONList :: [UExtInstrAbstract op] -> Value

toEncodingList :: [UExtInstrAbstract op] -> Encoding

FromJSON op => FromJSON (UExtInstrAbstract op)

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser (UExtInstrAbstract op)

parseJSONList :: Value -> Parser [UExtInstrAbstract op]

Buildable op => Buildable (UExtInstrAbstract op)

Defined in Morley.Types

Methods

build :: UExtInstrAbstract op -> Builder

type Rep (UExtInstrAbstract op)

Defined in Morley.Types

type Rep (UExtInstrAbstract op) = D1 (MetaData "UExtInstrAbstract" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) ((C1 (MetaCons "STACKTYPE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StackTypePattern)) :+: C1 (MetaCons "FN" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StackFn))) :+: (C1 (MetaCons "FN_END" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "UTEST_ASSERT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (UTestAssert op))) :+: C1 (MetaCons "UPRINT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrintComment)))))

Morley Parsed instruction types

type ParsedInstr = InstrAbstract ParsedOp

data ParsedOp

Unexpanded instructions produced directly by the ops parser, which contains primitive Michelson Instructions, inline-able macros and sequences

Constructors

Prim ParsedInstr

Primitive Michelson instruction

Mac Macro

Built-in Michelson macro defined by the specification

LMac LetMacro

User-defined macro with instructions to be inlined

Seq [ParsedOp]

A sequence of instructions

Instances

Eq ParsedOp

Defined in Morley.Types

Methods

(==) :: ParsedOp -> ParsedOp -> Bool

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

Data ParsedOp

Defined in Morley.Types

Methods

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

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

toConstr :: ParsedOp -> Constr

dataTypeOf :: ParsedOp -> DataType

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

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

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

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

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

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

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

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

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

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

Show ParsedOp

Defined in Morley.Types

Methods

showsPrec :: Int -> ParsedOp -> ShowS

show :: ParsedOp -> String

showList :: [ParsedOp] -> ShowS

Generic ParsedOp

Defined in Morley.Types

Associated Types

type Rep ParsedOp :: Type -> Type

Methods

from :: ParsedOp -> Rep ParsedOp x

to :: Rep ParsedOp x -> ParsedOp

ToJSON ParsedOp

Defined in Morley.Types

Methods

toJSON :: ParsedOp -> Value

toEncoding :: ParsedOp -> Encoding

toJSONList :: [ParsedOp] -> Value

toEncodingList :: [ParsedOp] -> Encoding

FromJSON ParsedOp

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser ParsedOp

parseJSONList :: Value -> Parser [ParsedOp]

Buildable ParsedOp

Defined in Morley.Types

Methods

build :: ParsedOp -> Builder

Buildable ParsedInstr

Defined in Morley.Types

Methods

build :: ParsedInstr -> Builder

type Rep ParsedOp

Defined in Morley.Types

type Rep ParsedOp = D1 (MetaData "ParsedOp" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) ((C1 (MetaCons "Prim" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParsedInstr)) :+: C1 (MetaCons "Mac" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Macro))) :+: (C1 (MetaCons "LMac" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LetMacro)) :+: C1 (MetaCons "Seq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParsedOp]))))

type ParsedUTestAssert = UTestAssert ParsedOp

type ParsedUExtInstr = UExtInstrAbstract ParsedOp

Morley Expanded instruction types

type ExpandedInstr = InstrAbstract ExpandedOp

data ExpandedOp

Constructors

PrimEx ExpandedInstr

SeqEx [ExpandedOp]

Instances

Eq ExpandedInstr => Eq ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

(==) :: ExpandedOp -> ExpandedOp -> Bool

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

Data ExpandedInstr => Data ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

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

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

toConstr :: ExpandedOp -> Constr

dataTypeOf :: ExpandedOp -> DataType

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

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

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

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

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

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

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

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

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

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

Show ExpandedInstr => Show ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> ExpandedOp -> ShowS

show :: ExpandedOp -> String

showList :: [ExpandedOp] -> ShowS

Generic ExpandedOp

Defined in Michelson.Untyped.Instr

Associated Types

type Rep ExpandedOp :: Type -> Type

Methods

from :: ExpandedOp -> Rep ExpandedOp x

to :: Rep ExpandedOp x -> ExpandedOp

ToJSON ExpandedInstr => ToJSON ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

toJSON :: ExpandedOp -> Value

toEncoding :: ExpandedOp -> Encoding

toJSONList :: [ExpandedOp] -> Value

toEncodingList :: [ExpandedOp] -> Encoding

FromJSON ExpandedInstr => FromJSON ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser ExpandedOp

parseJSONList :: Value -> Parser [ExpandedOp]

Buildable ExpandedInstr => Buildable ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

build :: ExpandedOp -> Builder

Buildable ExpandedInstr

Defined in Morley.Types

Methods

build :: ExpandedInstr -> Builder

Conversible ExtInstr (UExtInstrAbstract ExpandedOp)

Defined in Morley.Types

Methods

convert :: ExtInstr -> UExtInstrAbstract ExpandedOp

type Rep ExpandedOp

Defined in Michelson.Untyped.Instr

type Rep ExpandedOp = D1 (MetaData "ExpandedOp" "Michelson.Untyped.Instr" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "PrimEx" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ExpandedInstr)) :+: C1 (MetaCons "SeqEx" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ExpandedOp])))

type ExpandedUExtInstr = UExtInstrAbstract ExpandedOp

Michelson Instructions and Instruction Macros

data PairStruct

Constructors

F (VarAnn, FieldAnn)

P PairStruct PairStruct

Instances

Eq PairStruct

Defined in Morley.Types

Methods

(==) :: PairStruct -> PairStruct -> Bool

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

Data PairStruct

Defined in Morley.Types

Methods

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

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

toConstr :: PairStruct -> Constr

dataTypeOf :: PairStruct -> DataType

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

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

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

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

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

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

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

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

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

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

Show PairStruct

Defined in Morley.Types

Methods

showsPrec :: Int -> PairStruct -> ShowS

show :: PairStruct -> String

showList :: [PairStruct] -> ShowS

Generic PairStruct

Defined in Morley.Types

Associated Types

type Rep PairStruct :: Type -> Type

Methods

from :: PairStruct -> Rep PairStruct x

to :: Rep PairStruct x -> PairStruct

ToJSON PairStruct

Defined in Morley.Types

Methods

toJSON :: PairStruct -> Value

toEncoding :: PairStruct -> Encoding

toJSONList :: [PairStruct] -> Value

toEncodingList :: [PairStruct] -> Encoding

FromJSON PairStruct

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser PairStruct

parseJSONList :: Value -> Parser [PairStruct]

Buildable PairStruct

Defined in Morley.Types

Methods

build :: PairStruct -> Builder

type Rep PairStruct

Defined in Morley.Types

type Rep PairStruct = D1 (MetaData "PairStruct" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "F" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (VarAnn, FieldAnn))) :+: C1 (MetaCons "P" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PairStruct) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PairStruct)))

data CadrStruct

Constructors

A

D

Instances

Eq CadrStruct

Defined in Morley.Types

Methods

(==) :: CadrStruct -> CadrStruct -> Bool

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

Data CadrStruct

Defined in Morley.Types

Methods

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

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

toConstr :: CadrStruct -> Constr

dataTypeOf :: CadrStruct -> DataType

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

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

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

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

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

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

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

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

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

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

Show CadrStruct

Defined in Morley.Types

Methods

showsPrec :: Int -> CadrStruct -> ShowS

show :: CadrStruct -> String

showList :: [CadrStruct] -> ShowS

Generic CadrStruct

Defined in Morley.Types

Associated Types

type Rep CadrStruct :: Type -> Type

Methods

from :: CadrStruct -> Rep CadrStruct x

to :: Rep CadrStruct x -> CadrStruct

ToJSON CadrStruct

Defined in Morley.Types

Methods

toJSON :: CadrStruct -> Value

toEncoding :: CadrStruct -> Encoding

toJSONList :: [CadrStruct] -> Value

toEncodingList :: [CadrStruct] -> Encoding

FromJSON CadrStruct

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser CadrStruct

parseJSONList :: Value -> Parser [CadrStruct]

Buildable CadrStruct

Defined in Morley.Types

Methods

build :: CadrStruct -> Builder

type Rep CadrStruct

Defined in Morley.Types

type Rep CadrStruct = D1 (MetaData "CadrStruct" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "A" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "D" PrefixI False) (U1 :: Type -> Type))

data Macro

Built-in Michelson Macros defined by the specification

Constructors

CMP ParsedInstr VarAnn

IFX ParsedInstr [ParsedOp] [ParsedOp]

IFCMP ParsedInstr VarAnn [ParsedOp] [ParsedOp]

FAIL

PAPAIR PairStruct TypeAnn VarAnn

UNPAIR PairStruct

CADR [CadrStruct] VarAnn FieldAnn

SET_CADR [CadrStruct] VarAnn FieldAnn

MAP_CADR [CadrStruct] VarAnn FieldAnn [ParsedOp]

DIIP Integer [ParsedOp]

DUUP Integer VarAnn

ASSERT

ASSERTX ParsedInstr

ASSERT_CMP ParsedInstr

ASSERT_NONE

ASSERT_SOME

ASSERT_LEFT

ASSERT_RIGHT

IF_SOME [ParsedOp] [ParsedOp]

Instances

Eq Macro

Defined in Morley.Types

Methods

(==) :: Macro -> Macro -> Bool

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

Data Macro

Defined in Morley.Types

Methods

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

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

toConstr :: Macro -> Constr

dataTypeOf :: Macro -> DataType

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

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

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

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

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

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

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

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

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

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

Show Macro

Defined in Morley.Types

Methods

showsPrec :: Int -> Macro -> ShowS

show :: Macro -> String

showList :: [Macro] -> ShowS

Generic Macro

Defined in Morley.Types

Associated Types

type Rep Macro :: Type -> Type

Methods

from :: Macro -> Rep Macro x

to :: Rep Macro x -> Macro

ToJSON Macro

Defined in Morley.Types

Methods

toJSON :: Macro -> Value

toEncoding :: Macro -> Encoding

toJSONList :: [Macro] -> Value

toEncodingList :: [Macro] -> Encoding

FromJSON Macro

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser Macro

parseJSONList :: Value -> Parser [Macro]

Buildable Macro

Defined in Morley.Types

Methods

build :: Macro -> Builder

type Rep Macro

Defined in Morley.Types

type Rep Macro = D1 (MetaData "Macro" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) ((((C1 (MetaCons "CMP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParsedInstr) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "IFX" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParsedInstr) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParsedOp]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParsedOp])))) :+: (C1 (MetaCons "IFCMP" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParsedInstr) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParsedOp]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParsedOp]))) :+: C1 (MetaCons "FAIL" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "PAPAIR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PairStruct) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: C1 (MetaCons "UNPAIR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PairStruct))) :+: (C1 (MetaCons "CADR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [CadrStruct]) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn))) :+: (C1 (MetaCons "SET_CADR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [CadrStruct]) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn))) :+: C1 (MetaCons "MAP_CADR" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [CadrStruct]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParsedOp]))))))) :+: (((C1 (MetaCons "DIIP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParsedOp])) :+: C1 (MetaCons "DUUP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "ASSERT" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ASSERTX" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParsedInstr)) :+: C1 (MetaCons "ASSERT_CMP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParsedInstr))))) :+: ((C1 (MetaCons "ASSERT_NONE" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ASSERT_SOME" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ASSERT_LEFT" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ASSERT_RIGHT" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "IF_SOME" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParsedOp]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParsedOp])))))))

Morley Instructions

data ExtInstr

Constructors

TEST_ASSERT TestAssert

PRINT PrintComment

Instances

Eq ExtInstr

Defined in Morley.Types

Methods

(==) :: ExtInstr -> ExtInstr -> Bool

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

Show ExtInstr

Defined in Morley.Types

Methods

showsPrec :: Int -> ExtInstr -> ShowS

show :: ExtInstr -> String

showList :: [ExtInstr] -> ShowS

Conversible ExtInstr (UExtInstrAbstract ExpandedOp)

Defined in Morley.Types

Methods

convert :: ExtInstr -> UExtInstrAbstract ExpandedOp

data TestAssert where

Constructors

TestAssert :: (Typeable inp, Typeable out) => Text -> PrintComment -> Instr inp (Tc CBool ': out) -> TestAssert

Instances

Eq TestAssert

Defined in Morley.Types

Methods

(==) :: TestAssert -> TestAssert -> Bool

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

Show TestAssert

Defined in Morley.Types

Methods

showsPrec :: Int -> TestAssert -> ShowS

show :: TestAssert -> String

showList :: [TestAssert] -> ShowS

data UTestAssert op

Constructors

UTestAssert

Fields

• tassName :: Text
• tassComment :: PrintComment
• tassInstrs :: [op]

Instances

Functor UTestAssert

Defined in Morley.Types

Methods

fmap :: (a -> b) -> UTestAssert a -> UTestAssert b

(<$) :: a -> UTestAssert b -> UTestAssert a

Eq op => Eq (UTestAssert op)

Defined in Morley.Types

Methods

(==) :: UTestAssert op -> UTestAssert op -> Bool

(/=) :: UTestAssert op -> UTestAssert op -> Bool

Data op => Data (UTestAssert op)

Defined in Morley.Types

Methods

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

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

toConstr :: UTestAssert op -> Constr

dataTypeOf :: UTestAssert op -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> UTestAssert op -> UTestAssert op

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

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

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

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

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

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

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

Show op => Show (UTestAssert op)

Defined in Morley.Types

Methods

showsPrec :: Int -> UTestAssert op -> ShowS

show :: UTestAssert op -> String

showList :: [UTestAssert op] -> ShowS

Generic (UTestAssert op)

Defined in Morley.Types

Associated Types

type Rep (UTestAssert op) :: Type -> Type

Methods

from :: UTestAssert op -> Rep (UTestAssert op) x

to :: Rep (UTestAssert op) x -> UTestAssert op

ToJSON op => ToJSON (UTestAssert op)

Defined in Morley.Types

Methods

toJSON :: UTestAssert op -> Value

toEncoding :: UTestAssert op -> Encoding

toJSONList :: [UTestAssert op] -> Value

toEncodingList :: [UTestAssert op] -> Encoding

FromJSON op => FromJSON (UTestAssert op)

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser (UTestAssert op)

parseJSONList :: Value -> Parser [UTestAssert op]

Buildable code => Buildable (UTestAssert code)

Defined in Morley.Types

Methods

build :: UTestAssert code -> Builder

type Rep (UTestAssert op)

Defined in Morley.Types

type Rep (UTestAssert op) = D1 (MetaData "UTestAssert" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "UTestAssert" PrefixI True) (S1 (MetaSel (Just "tassName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: (S1 (MetaSel (Just "tassComment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrintComment) :*: S1 (MetaSel (Just "tassInstrs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]))))

newtype PrintComment

Constructors

PrintComment

Fields

• unPrintComment :: [Either Text StackRef]

Instances

Eq PrintComment

Defined in Morley.Types

Methods

(==) :: PrintComment -> PrintComment -> Bool

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

Data PrintComment

Defined in Morley.Types

Methods

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

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

toConstr :: PrintComment -> Constr

dataTypeOf :: PrintComment -> DataType

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

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

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

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

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

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

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

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

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

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

Show PrintComment

Defined in Morley.Types

Methods

showsPrec :: Int -> PrintComment -> ShowS

show :: PrintComment -> String

showList :: [PrintComment] -> ShowS

Generic PrintComment

Defined in Morley.Types

Associated Types

type Rep PrintComment :: Type -> Type

Methods

from :: PrintComment -> Rep PrintComment x

to :: Rep PrintComment x -> PrintComment

ToJSON PrintComment

Defined in Morley.Types

Methods

toJSON :: PrintComment -> Value

toEncoding :: PrintComment -> Encoding

toJSONList :: [PrintComment] -> Value

toEncodingList :: [PrintComment] -> Encoding

FromJSON PrintComment

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser PrintComment

parseJSONList :: Value -> Parser [PrintComment]

Buildable PrintComment

Defined in Morley.Types

Methods

build :: PrintComment -> Builder

type Rep PrintComment

Defined in Morley.Types

type Rep PrintComment = D1 (MetaData "PrintComment" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" True) (C1 (MetaCons "PrintComment" PrefixI True) (S1 (MetaSel (Just "unPrintComment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Either Text StackRef])))

data StackTypePattern

A stack pattern-match

Constructors

StkEmpty

StkRest

StkCons TyVar StackTypePattern

Instances

Eq StackTypePattern

Defined in Morley.Types

Methods

(==) :: StackTypePattern -> StackTypePattern -> Bool

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

Data StackTypePattern

Defined in Morley.Types

Methods

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

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

toConstr :: StackTypePattern -> Constr

dataTypeOf :: StackTypePattern -> DataType

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

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

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

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

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

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

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

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

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

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

Show StackTypePattern

Defined in Morley.Types

Methods

showsPrec :: Int -> StackTypePattern -> ShowS

show :: StackTypePattern -> String

showList :: [StackTypePattern] -> ShowS

Generic StackTypePattern

Defined in Morley.Types

Associated Types

type Rep StackTypePattern :: Type -> Type

Methods

from :: StackTypePattern -> Rep StackTypePattern x

to :: Rep StackTypePattern x -> StackTypePattern

ToJSON StackTypePattern

Defined in Morley.Types

Methods

toJSON :: StackTypePattern -> Value

toEncoding :: StackTypePattern -> Encoding

toJSONList :: [StackTypePattern] -> Value

toEncodingList :: [StackTypePattern] -> Encoding

FromJSON StackTypePattern

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser StackTypePattern

parseJSONList :: Value -> Parser [StackTypePattern]

Buildable StackTypePattern

Defined in Morley.Types

Methods

build :: StackTypePattern -> Builder

type Rep StackTypePattern

Defined in Morley.Types

type Rep StackTypePattern = D1 (MetaData "StackTypePattern" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "StkEmpty" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "StkRest" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "StkCons" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TyVar) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StackTypePattern))))

newtype StackRef

A reference into the stack

Constructors

StackRef Integer

Instances

Eq StackRef

Defined in Morley.Types

Methods

(==) :: StackRef -> StackRef -> Bool

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

Data StackRef

Defined in Morley.Types

Methods

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

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

toConstr :: StackRef -> Constr

dataTypeOf :: StackRef -> DataType

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

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

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

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

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

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

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

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

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

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

Show StackRef

Defined in Morley.Types

Methods

showsPrec :: Int -> StackRef -> ShowS

show :: StackRef -> String

showList :: [StackRef] -> ShowS

Generic StackRef

Defined in Morley.Types

Associated Types

type Rep StackRef :: Type -> Type

Methods

from :: StackRef -> Rep StackRef x

to :: Rep StackRef x -> StackRef

ToJSON StackRef

Defined in Morley.Types

Methods

toJSON :: StackRef -> Value

toEncoding :: StackRef -> Encoding

toJSONList :: [StackRef] -> Value

toEncodingList :: [StackRef] -> Encoding

FromJSON StackRef

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser StackRef

parseJSONList :: Value -> Parser [StackRef]

Buildable StackRef

Defined in Morley.Types

Methods

build :: StackRef -> Builder

type Rep StackRef

Defined in Morley.Types

type Rep StackRef = D1 (MetaData "StackRef" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" True) (C1 (MetaCons "StackRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

newtype MorleyLogs

Morley interpreter state

Constructors

MorleyLogs

Fields

• unMorleyLogs :: [Text]

Instances

Eq MorleyLogs

Defined in Morley.Types

Methods

(==) :: MorleyLogs -> MorleyLogs -> Bool

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

Show MorleyLogs

Defined in Morley.Types

Methods

showsPrec :: Int -> MorleyLogs -> ShowS

show :: MorleyLogs -> String

showList :: [MorleyLogs] -> ShowS

Default MorleyLogs

Defined in Morley.Types

Methods

def :: MorleyLogs

Buildable MorleyLogs

Defined in Morley.Types

Methods

build :: MorleyLogs -> Builder

noMorleyLogs :: MorleyLogs

data StackFn

A stack function that expresses the type signature of a LetMacro

Constructors

StackFn

Fields

• quantifiedVars :: Maybe (Set Var)
• inPattern :: StackTypePattern
• outPattern :: StackTypePattern

Instances

Eq StackFn

Defined in Morley.Types

Methods

(==) :: StackFn -> StackFn -> Bool

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

Data StackFn

Defined in Morley.Types

Methods

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

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

toConstr :: StackFn -> Constr

dataTypeOf :: StackFn -> DataType

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

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

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

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

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

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

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

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

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

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

Show StackFn

Defined in Morley.Types

Methods

showsPrec :: Int -> StackFn -> ShowS

show :: StackFn -> String

showList :: [StackFn] -> ShowS

Generic StackFn

Defined in Morley.Types

Associated Types

type Rep StackFn :: Type -> Type

Methods

from :: StackFn -> Rep StackFn x

to :: Rep StackFn x -> StackFn

ToJSON StackFn

Defined in Morley.Types

Methods

toJSON :: StackFn -> Value

toEncoding :: StackFn -> Encoding

toJSONList :: [StackFn] -> Value

toEncodingList :: [StackFn] -> Encoding

FromJSON StackFn

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser StackFn

parseJSONList :: Value -> Parser [StackFn]

Buildable StackFn

Defined in Morley.Types

Methods

build :: StackFn -> Builder

type Rep StackFn

Defined in Morley.Types

type Rep StackFn = D1 (MetaData "StackFn" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "StackFn" PrefixI True) (S1 (MetaSel (Just "quantifiedVars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Set Var))) :*: (S1 (MetaSel (Just "inPattern") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StackTypePattern) :*: S1 (MetaSel (Just "outPattern") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StackTypePattern))))

newtype Var

Constructors

Var Text

Instances

Eq Var

Defined in Morley.Types

Methods

(==) :: Var -> Var -> Bool

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

Data Var

Defined in Morley.Types

Methods

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

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

toConstr :: Var -> Constr

dataTypeOf :: Var -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Var

Defined in Morley.Types

Methods

compare :: Var -> Var -> Ordering

(<) :: Var -> Var -> Bool

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

(>) :: Var -> Var -> Bool

(>=) :: Var -> Var -> Bool

max :: Var -> Var -> Var

min :: Var -> Var -> Var

Show Var

Defined in Morley.Types

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Generic Var

Defined in Morley.Types

Associated Types

type Rep Var :: Type -> Type

Methods

from :: Var -> Rep Var x

to :: Rep Var x -> Var

ToJSON Var

Defined in Morley.Types

Methods

toJSON :: Var -> Value

toEncoding :: Var -> Encoding

toJSONList :: [Var] -> Value

toEncodingList :: [Var] -> Encoding

FromJSON Var

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser Var

parseJSONList :: Value -> Parser [Var]

Buildable Var

Defined in Morley.Types

Methods

build :: Var -> Builder

type Rep Var

Defined in Morley.Types

type Rep Var = D1 (MetaData "Var" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" True) (C1 (MetaCons "Var" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data TyVar

A type-variable or a type-constant

Constructors

VarID Var

TyCon Type

Instances

Eq TyVar

Defined in Morley.Types

Methods

(==) :: TyVar -> TyVar -> Bool

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

Data TyVar

Defined in Morley.Types

Methods

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

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

toConstr :: TyVar -> Constr

dataTypeOf :: TyVar -> DataType

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

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

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

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

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

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

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

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

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

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

Show TyVar

Defined in Morley.Types

Methods

showsPrec :: Int -> TyVar -> ShowS

show :: TyVar -> String

showList :: [TyVar] -> ShowS

Generic TyVar

Defined in Morley.Types

Associated Types

type Rep TyVar :: Type -> Type

Methods

from :: TyVar -> Rep TyVar x

to :: Rep TyVar x -> TyVar

ToJSON TyVar

Defined in Morley.Types

Methods

toJSON :: TyVar -> Value

toEncoding :: TyVar -> Encoding

toJSONList :: [TyVar] -> Value

toEncodingList :: [TyVar] -> Encoding

FromJSON TyVar

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser TyVar

parseJSONList :: Value -> Parser [TyVar]

Buildable TyVar

Defined in Morley.Types

Methods

build :: TyVar -> Builder

type Rep TyVar

Defined in Morley.Types

type Rep TyVar = D1 (MetaData "TyVar" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "VarID" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var)) :+: C1 (MetaCons "TyCon" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))

varSet :: StackTypePattern -> Set Var

Get the set of variables in a stack pattern

data LetMacro

A programmer-defined macro

Constructors

LetMacro

Fields

• lmName :: Text
• lmSig :: StackFn
• lmExpr :: [ParsedOp]

Instances

Eq LetMacro

Defined in Morley.Types

Methods

(==) :: LetMacro -> LetMacro -> Bool

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

Data LetMacro

Defined in Morley.Types

Methods

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

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

toConstr :: LetMacro -> Constr

dataTypeOf :: LetMacro -> DataType

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

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

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

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

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

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

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

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

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

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

Show LetMacro

Defined in Morley.Types

Methods

showsPrec :: Int -> LetMacro -> ShowS

show :: LetMacro -> String

showList :: [LetMacro] -> ShowS

Generic LetMacro

Defined in Morley.Types

Associated Types

type Rep LetMacro :: Type -> Type

Methods

from :: LetMacro -> Rep LetMacro x

to :: Rep LetMacro x -> LetMacro

ToJSON LetMacro

Defined in Morley.Types

Methods

toJSON :: LetMacro -> Value

toEncoding :: LetMacro -> Encoding

toJSONList :: [LetMacro] -> Value

toEncodingList :: [LetMacro] -> Encoding

FromJSON LetMacro

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser LetMacro

parseJSONList :: Value -> Parser [LetMacro]

Buildable LetMacro

Defined in Morley.Types

Methods

build :: LetMacro -> Builder

type Rep LetMacro

Defined in Morley.Types

type Rep LetMacro = D1 (MetaData "LetMacro" "Morley.Types" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "LetMacro" PrefixI True) (S1 (MetaSel (Just "lmName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: (S1 (MetaSel (Just "lmSig") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 StackFn) :*: S1 (MetaSel (Just "lmExpr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParsedOp]))))

data LetValue

A programmer-defined constant

Constructors

LetValue

Fields

• lvName :: Text
• lvSig :: Type
• lvVal :: Value ParsedOp

Instances

Eq LetValue

Defined in Morley.Types

Methods

(==) :: LetValue -> LetValue -> Bool

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

Show LetValue

Defined in Morley.Types

Methods

showsPrec :: Int -> LetValue -> ShowS

show :: LetValue -> String

showList :: [LetValue] -> ShowS

ToJSON LetValue

Defined in Morley.Types

Methods

toJSON :: LetValue -> Value

toEncoding :: LetValue -> Encoding

toJSONList :: [LetValue] -> Value

toEncodingList :: [LetValue] -> Encoding

FromJSON LetValue

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser LetValue

parseJSONList :: Value -> Parser [LetValue]

data LetType

A programmer-defined type-synonym

Constructors

LetType

Fields

• ltName :: Text
• ltSig :: Type

Instances

Eq LetType

Defined in Morley.Types

Methods

(==) :: LetType -> LetType -> Bool

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

Show LetType

Defined in Morley.Types

Methods

showsPrec :: Int -> LetType -> ShowS

show :: LetType -> String

showList :: [LetType] -> ShowS

ToJSON LetType

Defined in Morley.Types

Methods

toJSON :: LetType -> Value

toEncoding :: LetType -> Encoding

toJSONList :: [LetType] -> Value

toEncodingList :: [LetType] -> Encoding

FromJSON LetType

Defined in Morley.Types

Methods

parseJSON :: Value -> Parser LetType

parseJSONList :: Value -> Parser [LetType]

Orphan instances

Buildable ExpandedInstr

Methods

build :: ExpandedInstr -> Builder

Buildable Instr

Methods

build :: Instr -> Builder