Morley.Michelson.Untyped.Ext

Morley extensions to the Michelson language

Documentation

data ExtInstrAbstract f 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

UTEST_ASSERT (TestAssert f op)

Copy the current stack and run an inline assertion on it

UPRINT PrintComment

Print a comment with optional embedded StackRefs

UCOMMENT Text

A comment in Michelson code

Instances

HoistInstr ExtInstrAbstract

Defined in Morley.Michelson.Untyped.Ext

Methods

hoistInstr :: forall f (a :: k) g. (f a -> g a) -> ExtInstrAbstract f a -> ExtInstrAbstract g a

Functor f => Functor (ExtInstrAbstract f)

Defined in Morley.Michelson.Untyped.Ext

Methods

fmap :: (a -> b) -> ExtInstrAbstract f a -> ExtInstrAbstract f b

(<$) :: a -> ExtInstrAbstract f b -> ExtInstrAbstract f a

FromJSON (f op) => FromJSON (ExtInstrAbstract f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser (ExtInstrAbstract f op)

parseJSONList :: Value -> Parser [ExtInstrAbstract f op]

ToJSON (f op) => ToJSON (ExtInstrAbstract f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

toJSON :: ExtInstrAbstract f op -> Value

toEncoding :: ExtInstrAbstract f op -> Encoding

toJSONList :: [ExtInstrAbstract f op] -> Value

toEncodingList :: [ExtInstrAbstract f op] -> Encoding

(Typeable f, Typeable op, Data (f op)) => Data (ExtInstrAbstract f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

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

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

toConstr :: ExtInstrAbstract f op -> Constr

dataTypeOf :: ExtInstrAbstract f op -> DataType

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

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

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

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

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

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

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

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

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

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

Generic (ExtInstrAbstract f op)

Defined in Morley.Michelson.Untyped.Ext

Associated Types

type Rep (ExtInstrAbstract f op) :: Type -> Type

Methods

from :: ExtInstrAbstract f op -> Rep (ExtInstrAbstract f op) x

to :: Rep (ExtInstrAbstract f op) x -> ExtInstrAbstract f op

Show (f op) => Show (ExtInstrAbstract f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

showsPrec :: Int -> ExtInstrAbstract f op -> ShowS

show :: ExtInstrAbstract f op -> String

showList :: [ExtInstrAbstract f op] -> ShowS

NFData (f op) => NFData (ExtInstrAbstract f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

rnf :: ExtInstrAbstract f op -> ()

Eq (f op) => Eq (ExtInstrAbstract f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

(==) :: ExtInstrAbstract f op -> ExtInstrAbstract f op -> Bool

(/=) :: ExtInstrAbstract f op -> ExtInstrAbstract f op -> Bool

RenderDoc (ExtInstrAbstract f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

renderDoc :: RenderContext -> ExtInstrAbstract f op -> Doc

isRenderable :: ExtInstrAbstract f op -> Bool

(Foldable f, Buildable op) => Buildable (ExtInstrAbstract f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

build :: ExtInstrAbstract f op -> Doc

buildList :: [ExtInstrAbstract f op] -> Doc

type Rep (ExtInstrAbstract f op)

Defined in Morley.Michelson.Untyped.Ext

type Rep (ExtInstrAbstract f op) = D1 ('MetaData "ExtInstrAbstract" "Morley.Michelson.Untyped.Ext" "morley-1.20.0-inplace" 'False) ((C1 ('MetaCons "STACKTYPE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackTypePattern)) :+: C1 ('MetaCons "UTEST_ASSERT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TestAssert f op)))) :+: (C1 ('MetaCons "UPRINT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PrintComment)) :+: C1 ('MetaCons "UCOMMENT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

newtype StackRef

A reference into the stack.

Constructors

StackRef Natural

Instances

FromJSON StackRef

Defined in Morley.Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser StackRef

parseJSONList :: Value -> Parser [StackRef]

ToJSON StackRef

Defined in Morley.Michelson.Untyped.Ext

Methods

toJSON :: StackRef -> Value

toEncoding :: StackRef -> Encoding

toJSONList :: [StackRef] -> Value

toEncodingList :: [StackRef] -> Encoding

Data StackRef

Defined in Morley.Michelson.Untyped.Ext

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 :: forall r r'. (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

Generic StackRef

Defined in Morley.Michelson.Untyped.Ext

Associated Types

type Rep StackRef :: Type -> Type

Methods

from :: StackRef -> Rep StackRef x

to :: Rep StackRef x -> StackRef

Show StackRef

Defined in Morley.Michelson.Untyped.Ext

Methods

showsPrec :: Int -> StackRef -> ShowS

show :: StackRef -> String

showList :: [StackRef] -> ShowS

NFData StackRef

Defined in Morley.Michelson.Untyped.Ext

Methods

rnf :: StackRef -> ()

Eq StackRef

Defined in Morley.Michelson.Untyped.Ext

Methods

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

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

Buildable StackRef

Defined in Morley.Michelson.Untyped.Ext

Methods

build :: StackRef -> Doc

buildList :: [StackRef] -> Doc

type Rep StackRef

Defined in Morley.Michelson.Untyped.Ext

type Rep StackRef = D1 ('MetaData "StackRef" "Morley.Michelson.Untyped.Ext" "morley-1.20.0-inplace" 'True) (C1 ('MetaCons "StackRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

newtype PrintComment

A comment with optional embedded StackRefs. Used with PRINT extended instruction.

Constructors

PrintComment

Fields

• unUPrintComment :: [Either Text StackRef]

Instances

FromJSON PrintComment

Defined in Morley.Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser PrintComment

parseJSONList :: Value -> Parser [PrintComment]

ToJSON PrintComment

Defined in Morley.Michelson.Untyped.Ext

Methods

toJSON :: PrintComment -> Value

toEncoding :: PrintComment -> Encoding

toJSONList :: [PrintComment] -> Value

toEncodingList :: [PrintComment] -> Encoding

Data PrintComment

Defined in Morley.Michelson.Untyped.Ext

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 :: forall r r'. (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

Generic PrintComment

Defined in Morley.Michelson.Untyped.Ext

Associated Types

type Rep PrintComment :: Type -> Type

Methods

from :: PrintComment -> Rep PrintComment x

to :: Rep PrintComment x -> PrintComment

Show PrintComment

Defined in Morley.Michelson.Untyped.Ext

Methods

showsPrec :: Int -> PrintComment -> ShowS

show :: PrintComment -> String

showList :: [PrintComment] -> ShowS

NFData PrintComment

Defined in Morley.Michelson.Untyped.Ext

Methods

rnf :: PrintComment -> ()

Eq PrintComment

Defined in Morley.Michelson.Untyped.Ext

Methods

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

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

Buildable PrintComment

Defined in Morley.Michelson.Untyped.Ext

Methods

build :: PrintComment -> Doc

buildList :: [PrintComment] -> Doc

type Rep PrintComment

Defined in Morley.Michelson.Untyped.Ext

type Rep PrintComment = D1 ('MetaData "PrintComment" "Morley.Michelson.Untyped.Ext" "morley-1.20.0-inplace" 'True) (C1 ('MetaCons "PrintComment" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUPrintComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Either Text StackRef])))

data TestAssert f (op :: Type)

An inline test assertion

Constructors

TestAssert

Fields

• tassName :: Text
• tassComment :: PrintComment
• tassInstrs :: f op

Instances

HoistInstr TestAssert

Defined in Morley.Michelson.Untyped.Ext

Methods

hoistInstr :: forall f (a :: k) g. (f a -> g a) -> TestAssert f a -> TestAssert g a

Functor f => Functor (TestAssert f)

Defined in Morley.Michelson.Untyped.Ext

Methods

fmap :: (a -> b) -> TestAssert f a -> TestAssert f b

(<$) :: a -> TestAssert f b -> TestAssert f a

FromJSON (f op) => FromJSON (TestAssert f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser (TestAssert f op)

parseJSONList :: Value -> Parser [TestAssert f op]

ToJSON (f op) => ToJSON (TestAssert f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

toJSON :: TestAssert f op -> Value

toEncoding :: TestAssert f op -> Encoding

toJSONList :: [TestAssert f op] -> Value

toEncodingList :: [TestAssert f op] -> Encoding

(Typeable f, Typeable op, Data (f op)) => Data (TestAssert f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

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

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

toConstr :: TestAssert f op -> Constr

dataTypeOf :: TestAssert f op -> DataType

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

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

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

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

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

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

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

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

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

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

Generic (TestAssert f op)

Defined in Morley.Michelson.Untyped.Ext

Associated Types

type Rep (TestAssert f op) :: Type -> Type

Methods

from :: TestAssert f op -> Rep (TestAssert f op) x

to :: Rep (TestAssert f op) x -> TestAssert f op

Show (f op) => Show (TestAssert f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

showsPrec :: Int -> TestAssert f op -> ShowS

show :: TestAssert f op -> String

showList :: [TestAssert f op] -> ShowS

NFData (f op) => NFData (TestAssert f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

rnf :: TestAssert f op -> ()

Eq (f op) => Eq (TestAssert f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

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

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

(Foldable f, Buildable op) => Buildable (TestAssert f op)

Defined in Morley.Michelson.Untyped.Ext

Methods

build :: TestAssert f op -> Doc

buildList :: [TestAssert f op] -> Doc

type Rep (TestAssert f op)

Defined in Morley.Michelson.Untyped.Ext

type Rep (TestAssert f op) = D1 ('MetaData "TestAssert" "Morley.Michelson.Untyped.Ext" "morley-1.20.0-inplace" 'False) (C1 ('MetaCons "TestAssert" 'PrefixI 'True) (S1 ('MetaSel ('Just "tassName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "tassComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PrintComment) :*: S1 ('MetaSel ('Just "tassInstrs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f op)))))

newtype Var

A (named) type variable

Constructors

Var Text

Instances

FromJSON Var

Defined in Morley.Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser Var

parseJSONList :: Value -> Parser [Var]

ToJSON Var

Defined in Morley.Michelson.Untyped.Ext

Methods

toJSON :: Var -> Value

toEncoding :: Var -> Encoding

toJSONList :: [Var] -> Value

toEncodingList :: [Var] -> Encoding

Data Var

Defined in Morley.Michelson.Untyped.Ext

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 :: forall r r'. (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

Generic Var

Defined in Morley.Michelson.Untyped.Ext

Associated Types

type Rep Var :: Type -> Type

Methods

from :: Var -> Rep Var x

to :: Rep Var x -> Var

Show Var

Defined in Morley.Michelson.Untyped.Ext

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

NFData Var

Defined in Morley.Michelson.Untyped.Ext

Methods

rnf :: Var -> ()

Eq Var

Defined in Morley.Michelson.Untyped.Ext

Methods

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

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

Ord Var

Defined in Morley.Michelson.Untyped.Ext

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

Buildable Var

Defined in Morley.Michelson.Untyped.Ext

Methods

build :: Var -> Doc

buildList :: [Var] -> Doc

type Rep Var

Defined in Morley.Michelson.Untyped.Ext

type Rep Var = D1 ('MetaData "Var" "Morley.Michelson.Untyped.Ext" "morley-1.20.0-inplace" '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 Ty

Instances

FromJSON TyVar

Defined in Morley.Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser TyVar

parseJSONList :: Value -> Parser [TyVar]

ToJSON TyVar

Defined in Morley.Michelson.Untyped.Ext

Methods

toJSON :: TyVar -> Value

toEncoding :: TyVar -> Encoding

toJSONList :: [TyVar] -> Value

toEncodingList :: [TyVar] -> Encoding

Data TyVar

Defined in Morley.Michelson.Untyped.Ext

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 :: forall r r'. (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

Generic TyVar

Defined in Morley.Michelson.Untyped.Ext

Associated Types

type Rep TyVar :: Type -> Type

Methods

from :: TyVar -> Rep TyVar x

to :: Rep TyVar x -> TyVar

Show TyVar

Defined in Morley.Michelson.Untyped.Ext

Methods

showsPrec :: Int -> TyVar -> ShowS

show :: TyVar -> String

showList :: [TyVar] -> ShowS

NFData TyVar

Defined in Morley.Michelson.Untyped.Ext

Methods

rnf :: TyVar -> ()

Eq TyVar

Defined in Morley.Michelson.Untyped.Ext

Methods

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

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

Buildable TyVar

Defined in Morley.Michelson.Untyped.Ext

Methods

build :: TyVar -> Doc

buildList :: [TyVar] -> Doc

type Rep TyVar

Defined in Morley.Michelson.Untyped.Ext

type Rep TyVar = D1 ('MetaData "TyVar" "Morley.Michelson.Untyped.Ext" "morley-1.20.0-inplace" 'False) (C1 ('MetaCons "VarID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Var)) :+: C1 ('MetaCons "TyCon" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)))

data StackTypePattern

A stack pattern-match

Constructors

StkEmpty

StkRest

StkCons TyVar StackTypePattern

Instances

FromJSON StackTypePattern

Defined in Morley.Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser StackTypePattern

parseJSONList :: Value -> Parser [StackTypePattern]

ToJSON StackTypePattern

Defined in Morley.Michelson.Untyped.Ext

Methods

toJSON :: StackTypePattern -> Value

toEncoding :: StackTypePattern -> Encoding

toJSONList :: [StackTypePattern] -> Value

toEncodingList :: [StackTypePattern] -> Encoding

Data StackTypePattern

Defined in Morley.Michelson.Untyped.Ext

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 :: forall r r'. (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

Generic StackTypePattern

Defined in Morley.Michelson.Untyped.Ext

Associated Types

type Rep StackTypePattern :: Type -> Type

Methods

from :: StackTypePattern -> Rep StackTypePattern x

to :: Rep StackTypePattern x -> StackTypePattern

Show StackTypePattern

Defined in Morley.Michelson.Untyped.Ext

Methods

showsPrec :: Int -> StackTypePattern -> ShowS

show :: StackTypePattern -> String

showList :: [StackTypePattern] -> ShowS

NFData StackTypePattern

Defined in Morley.Michelson.Untyped.Ext

Methods

rnf :: StackTypePattern -> ()

Eq StackTypePattern

Defined in Morley.Michelson.Untyped.Ext

Methods

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

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

Buildable StackTypePattern

Defined in Morley.Michelson.Untyped.Ext

Methods

build :: StackTypePattern -> Doc

buildList :: [StackTypePattern] -> Doc

type Rep StackTypePattern

Defined in Morley.Michelson.Untyped.Ext

type Rep StackTypePattern = D1 ('MetaData "StackTypePattern" "Morley.Michelson.Untyped.Ext" "morley-1.20.0-inplace" '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 'DecidedStrict) (Rec0 TyVar) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackTypePattern))))

varSet :: StackTypePattern -> Set Var

Get the set of variables in a stack pattern

stackTypePatternToList :: StackTypePattern -> ([TyVar], Bool)

Convert StackTypePattern to a list of types. Also returns Bool which is True if the pattern is a fixed list of types and False if it's a pattern match on the head of the stack.