Morley.Michelson.TypeCheck.TypeCheckedOp

Documentation

type TypeCheckedInstr op = InstrAbstract (TypeCheckedOp op)

Represents a root of a partially typed operation tree.

data TypeCheckedOp op where

Represents nodes of a partially typed operation tree.

Constructors

WellTypedOp :: (SingI inp, SingI out) => Instr inp out -> TypeCheckedOp op

Constructs well-typed node.

IllTypedOp :: IllTypedInstr op -> TypeCheckedOp op

Constructs ill-typed node which might in turn contain well-typed and non-typed operations.

Instances

Functor TypeCheckedOp

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

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

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

Show op => Show (TypeCheckedOp op)

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

showsPrec :: Int -> TypeCheckedOp op -> ShowS

show :: TypeCheckedOp op -> String

showList :: [TypeCheckedOp op] -> ShowS

NFData op => NFData (TypeCheckedOp op)

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

rnf :: TypeCheckedOp op -> ()

Eq op => Eq (TypeCheckedOp op)

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

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

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

RenderDoc op => RenderDoc (TypeCheckedOp op)

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

renderDoc :: RenderContext -> TypeCheckedOp op -> Doc

isRenderable :: TypeCheckedOp op -> Bool

data IllTypedInstr op

Represents a non-well-typed operation

Constructors

SemiTypedInstr (TypeCheckedInstr op)

Constructs a partialy typed operation.

NonTypedInstr op

Constructs a completely untyped operation.

Instances

Functor IllTypedInstr

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

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

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

Generic (IllTypedInstr op)

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Associated Types

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

Methods

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

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

Show op => Show (IllTypedInstr op)

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

showsPrec :: Int -> IllTypedInstr op -> ShowS

show :: IllTypedInstr op -> String

showList :: [IllTypedInstr op] -> ShowS

(NFData (TypeCheckedOp op), NFData op) => NFData (IllTypedInstr op)

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

rnf :: IllTypedInstr op -> ()

Eq op => Eq (IllTypedInstr op)

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

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

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

type Rep (IllTypedInstr op)

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

type Rep (IllTypedInstr op) = D1 ('MetaData "IllTypedInstr" "Morley.Michelson.TypeCheck.TypeCheckedOp" "morley-1.19.1-inplace" 'False) (C1 ('MetaCons "SemiTypedInstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TypeCheckedInstr op))) :+: C1 ('MetaCons "NonTypedInstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 op)))

someInstrToOp :: SomeTcInstr inp -> TypeCheckedOp op

Makes a well-typed node out of SomeTcInstr

someViewToOp :: SomeView st -> View' (TypeCheckedOp op)

Makes takes a typed view and converts it into an untyped one with typechecked code.