Michelson.Untyped.Ext

Documentation

data ExtInstrAbstract 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 [op]

A typed stack function (push and pop a TcExtFrame)

UTEST_ASSERT (TestAssert 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

Functor ExtInstrAbstract

Defined in Michelson.Untyped.Ext

Methods

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

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

Eq op => Eq (ExtInstrAbstract op)

Defined in Michelson.Untyped.Ext

Methods

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

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

Data op => Data (ExtInstrAbstract op)

Defined in Michelson.Untyped.Ext

Methods

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

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

toConstr :: ExtInstrAbstract op -> Constr

dataTypeOf :: ExtInstrAbstract op -> DataType

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

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

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

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

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

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

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

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

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

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

Show op => Show (ExtInstrAbstract op)

Defined in Michelson.Untyped.Ext

Methods

showsPrec :: Int -> ExtInstrAbstract op -> ShowS

show :: ExtInstrAbstract op -> String

showList :: [ExtInstrAbstract op] -> ShowS

Generic (ExtInstrAbstract op)

Defined in Michelson.Untyped.Ext

Associated Types

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

Methods

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

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

ToJSON op => ToJSON (ExtInstrAbstract op)

Defined in Michelson.Untyped.Ext

Methods

toJSON :: ExtInstrAbstract op -> Value

toEncoding :: ExtInstrAbstract op -> Encoding

toJSONList :: [ExtInstrAbstract op] -> Value

toEncodingList :: [ExtInstrAbstract op] -> Encoding

FromJSON op => FromJSON (ExtInstrAbstract op)

Defined in Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser (ExtInstrAbstract op)

parseJSONList :: Value -> Parser [ExtInstrAbstract op]

NFData op => NFData (ExtInstrAbstract op)

Defined in Michelson.Untyped.Ext

Methods

rnf :: ExtInstrAbstract op -> ()

Buildable op => Buildable (ExtInstrAbstract op)

Defined in Michelson.Untyped.Ext

Methods

build :: ExtInstrAbstract op -> Builder

RenderDoc op => RenderDoc (ExtInstrAbstract op)

Defined in Michelson.Untyped.Ext

Methods

renderDoc :: RenderContext -> ExtInstrAbstract op -> Doc

isRenderable :: ExtInstrAbstract op -> Bool

type Rep (ExtInstrAbstract op)

Defined in Michelson.Untyped.Ext

type Rep (ExtInstrAbstract op) = D1 ('MetaData "ExtInstrAbstract" "Michelson.Untyped.Ext" "morley-1.12.0-inplace" 'False) ((C1 ('MetaCons "STACKTYPE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackTypePattern)) :+: C1 ('MetaCons "FN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackFn) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [op])))) :+: (C1 ('MetaCons "UTEST_ASSERT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TestAssert 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

Eq StackRef

Defined in Michelson.Untyped.Ext

Methods

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

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

Data StackRef

Defined in 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

Show StackRef

Defined in Michelson.Untyped.Ext

Methods

showsPrec :: Int -> StackRef -> ShowS

show :: StackRef -> String

showList :: [StackRef] -> ShowS

Generic StackRef

Defined in Michelson.Untyped.Ext

Associated Types

type Rep StackRef :: Type -> Type

Methods

from :: StackRef -> Rep StackRef x

to :: Rep StackRef x -> StackRef

ToJSON StackRef

Defined in Michelson.Untyped.Ext

Methods

toJSON :: StackRef -> Value

toEncoding :: StackRef -> Encoding

toJSONList :: [StackRef] -> Value

toEncodingList :: [StackRef] -> Encoding

FromJSON StackRef

Defined in Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser StackRef

parseJSONList :: Value -> Parser [StackRef]

NFData StackRef

Defined in Michelson.Untyped.Ext

Methods

rnf :: StackRef -> ()

Buildable StackRef

Defined in Michelson.Untyped.Ext

Methods

build :: StackRef -> Builder

type Rep StackRef

Defined in Michelson.Untyped.Ext

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

newtype PrintComment

Constructors

PrintComment

Fields

• unUPrintComment :: [Either Text StackRef]

Instances

Eq PrintComment

Defined in Michelson.Untyped.Ext

Methods

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

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

Data PrintComment

Defined in 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

Show PrintComment

Defined in Michelson.Untyped.Ext

Methods

showsPrec :: Int -> PrintComment -> ShowS

show :: PrintComment -> String

showList :: [PrintComment] -> ShowS

Generic PrintComment

Defined in Michelson.Untyped.Ext

Associated Types

type Rep PrintComment :: Type -> Type

Methods

from :: PrintComment -> Rep PrintComment x

to :: Rep PrintComment x -> PrintComment

ToJSON PrintComment

Defined in Michelson.Untyped.Ext

Methods

toJSON :: PrintComment -> Value

toEncoding :: PrintComment -> Encoding

toJSONList :: [PrintComment] -> Value

toEncodingList :: [PrintComment] -> Encoding

FromJSON PrintComment

Defined in Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser PrintComment

parseJSONList :: Value -> Parser [PrintComment]

NFData PrintComment

Defined in Michelson.Untyped.Ext

Methods

rnf :: PrintComment -> ()

Buildable PrintComment

Defined in Michelson.Untyped.Ext

Methods

build :: PrintComment -> Builder

type Rep PrintComment

Defined in Michelson.Untyped.Ext

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

data TestAssert op

Constructors

TestAssert

Fields

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

Instances

Functor TestAssert

Defined in Michelson.Untyped.Ext

Methods

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

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

Eq op => Eq (TestAssert op)

Defined in Michelson.Untyped.Ext

Methods

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

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

Data op => Data (TestAssert op)

Defined in Michelson.Untyped.Ext

Methods

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

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

toConstr :: TestAssert op -> Constr

dataTypeOf :: TestAssert op -> DataType

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

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

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

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

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

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

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

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

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

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

Show op => Show (TestAssert op)

Defined in Michelson.Untyped.Ext

Methods

showsPrec :: Int -> TestAssert op -> ShowS

show :: TestAssert op -> String

showList :: [TestAssert op] -> ShowS

Generic (TestAssert op)

Defined in Michelson.Untyped.Ext

Associated Types

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

Methods

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

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

ToJSON op => ToJSON (TestAssert op)

Defined in Michelson.Untyped.Ext

Methods

toJSON :: TestAssert op -> Value

toEncoding :: TestAssert op -> Encoding

toJSONList :: [TestAssert op] -> Value

toEncodingList :: [TestAssert op] -> Encoding

FromJSON op => FromJSON (TestAssert op)

Defined in Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser (TestAssert op)

parseJSONList :: Value -> Parser [TestAssert op]

NFData op => NFData (TestAssert op)

Defined in Michelson.Untyped.Ext

Methods

rnf :: TestAssert op -> ()

Buildable code => Buildable (TestAssert code)

Defined in Michelson.Untyped.Ext

Methods

build :: TestAssert code -> Builder

type Rep (TestAssert op)

Defined in Michelson.Untyped.Ext

type Rep (TestAssert op) = D1 ('MetaData "TestAssert" "Michelson.Untyped.Ext" "morley-1.12.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 [op]))))

newtype Var

Constructors

Var Text

Instances

Eq Var

Defined in Michelson.Untyped.Ext

Methods

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

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

Data Var

Defined in 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

Ord Var

Defined in 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

Show Var

Defined in Michelson.Untyped.Ext

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Generic Var

Defined in Michelson.Untyped.Ext

Associated Types

type Rep Var :: Type -> Type

Methods

from :: Var -> Rep Var x

to :: Rep Var x -> Var

ToJSON Var

Defined in Michelson.Untyped.Ext

Methods

toJSON :: Var -> Value

toEncoding :: Var -> Encoding

toJSONList :: [Var] -> Value

toEncodingList :: [Var] -> Encoding

FromJSON Var

Defined in Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser Var

parseJSONList :: Value -> Parser [Var]

NFData Var

Defined in Michelson.Untyped.Ext

Methods

rnf :: Var -> ()

Buildable Var

Defined in Michelson.Untyped.Ext

Methods

build :: Var -> Builder

type Rep Var

Defined in Michelson.Untyped.Ext

type Rep Var = D1 ('MetaData "Var" "Michelson.Untyped.Ext" "morley-1.12.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 Type

Instances

Eq TyVar

Defined in Michelson.Untyped.Ext

Methods

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

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

Data TyVar

Defined in 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

Show TyVar

Defined in Michelson.Untyped.Ext

Methods

showsPrec :: Int -> TyVar -> ShowS

show :: TyVar -> String

showList :: [TyVar] -> ShowS

Generic TyVar

Defined in Michelson.Untyped.Ext

Associated Types

type Rep TyVar :: Type -> Type

Methods

from :: TyVar -> Rep TyVar x

to :: Rep TyVar x -> TyVar

ToJSON TyVar

Defined in Michelson.Untyped.Ext

Methods

toJSON :: TyVar -> Value

toEncoding :: TyVar -> Encoding

toJSONList :: [TyVar] -> Value

toEncodingList :: [TyVar] -> Encoding

FromJSON TyVar

Defined in Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser TyVar

parseJSONList :: Value -> Parser [TyVar]

NFData TyVar

Defined in Michelson.Untyped.Ext

Methods

rnf :: TyVar -> ()

Buildable TyVar

Defined in Michelson.Untyped.Ext

Methods

build :: TyVar -> Builder

type Rep TyVar

Defined in Michelson.Untyped.Ext

type Rep TyVar = D1 ('MetaData "TyVar" "Michelson.Untyped.Ext" "morley-1.12.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 Type)))

data StackTypePattern

A stack pattern-match

Constructors

StkEmpty

StkRest

StkCons TyVar StackTypePattern

Instances

Eq StackTypePattern

Defined in Michelson.Untyped.Ext

Methods

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

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

Data StackTypePattern

Defined in 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

Show StackTypePattern

Defined in Michelson.Untyped.Ext

Methods

showsPrec :: Int -> StackTypePattern -> ShowS

show :: StackTypePattern -> String

showList :: [StackTypePattern] -> ShowS

Generic StackTypePattern

Defined in Michelson.Untyped.Ext

Associated Types

type Rep StackTypePattern :: Type -> Type

Methods

from :: StackTypePattern -> Rep StackTypePattern x

to :: Rep StackTypePattern x -> StackTypePattern

ToJSON StackTypePattern

Defined in Michelson.Untyped.Ext

Methods

toJSON :: StackTypePattern -> Value

toEncoding :: StackTypePattern -> Encoding

toJSONList :: [StackTypePattern] -> Value

toEncodingList :: [StackTypePattern] -> Encoding

FromJSON StackTypePattern

Defined in Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser StackTypePattern

parseJSONList :: Value -> Parser [StackTypePattern]

NFData StackTypePattern

Defined in Michelson.Untyped.Ext

Methods

rnf :: StackTypePattern -> ()

Buildable StackTypePattern

Defined in Michelson.Untyped.Ext

Methods

build :: StackTypePattern -> Builder

type Rep StackTypePattern

Defined in Michelson.Untyped.Ext

type Rep StackTypePattern = D1 ('MetaData "StackTypePattern" "Michelson.Untyped.Ext" "morley-1.12.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))))

data StackFn

A stack function that expresses the type signature of a LetMacro

Constructors

StackFn

Fields

• sfnQuantifiedVars :: Maybe (Set Var)
• sfnInPattern :: StackTypePattern
• sfnOutPattern :: StackTypePattern

Instances

Eq StackFn

Defined in Michelson.Untyped.Ext

Methods

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

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

Data StackFn

Defined in Michelson.Untyped.Ext

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

Methods

showsPrec :: Int -> StackFn -> ShowS

show :: StackFn -> String

showList :: [StackFn] -> ShowS

Generic StackFn

Defined in Michelson.Untyped.Ext

Associated Types

type Rep StackFn :: Type -> Type

Methods

from :: StackFn -> Rep StackFn x

to :: Rep StackFn x -> StackFn

ToJSON StackFn

Defined in Michelson.Untyped.Ext

Methods

toJSON :: StackFn -> Value

toEncoding :: StackFn -> Encoding

toJSONList :: [StackFn] -> Value

toEncodingList :: [StackFn] -> Encoding

FromJSON StackFn

Defined in Michelson.Untyped.Ext

Methods

parseJSON :: Value -> Parser StackFn

parseJSONList :: Value -> Parser [StackFn]

NFData StackFn

Defined in Michelson.Untyped.Ext

Methods

rnf :: StackFn -> ()

Buildable StackFn

Defined in Michelson.Untyped.Ext

Methods

build :: StackFn -> Builder

type Rep StackFn

Defined in Michelson.Untyped.Ext

type Rep StackFn = D1 ('MetaData "StackFn" "Michelson.Untyped.Ext" "morley-1.12.0-inplace" 'False) (C1 ('MetaCons "StackFn" 'PrefixI 'True) (S1 ('MetaSel ('Just "sfnQuantifiedVars") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Set Var))) :*: (S1 ('MetaSel ('Just "sfnInPattern") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackTypePattern) :*: S1 ('MetaSel ('Just "sfnOutPattern") '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.