Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.Michelson.TypeCheck.TypeCheckedSeq

Description

This module provides a data type for representing a partially typed sequence of instructions.

It is needed to represent the fact that there can only be one well-typed node in a sequence and it is the first one. Also, it serves its role to remove TCError usage from TypeCheckedOp.

Synopsis

type TypeCheckedInstr = InstrAbstract TypeCheckedOp
data TypeCheckedOp where
- WellTypedOp :: (SingI inp, SingI out) => Instr inp out -> TypeCheckedOp
- IllTypedOp :: IllTypedInstr -> TypeCheckedOp
data IllTypedInstr
- = SemiTypedInstr TypeCheckedInstr
- | NonTypedInstr ExpandedOp
data TypeCheckedSeq inp
- = WellTypedSeq (SomeInstr inp)
- | MixedSeq (SomeInstr inp) TCError [IllTypedInstr]
- | IllTypedSeq TCError [IllTypedInstr]
tcsEither :: ([TypeCheckedOp] -> TCError -> a) -> (SomeInstr inp -> a) -> TypeCheckedSeq inp -> a
seqToOps :: TypeCheckedSeq inp -> [TypeCheckedOp]
someInstrToOp :: SomeInstr inp -> TypeCheckedOp
someViewToOp :: View' op -> SomeView st -> View' TypeCheckedOp

Documentation

type TypeCheckedInstr = InstrAbstract TypeCheckedOp Source #

Represents a root of a partially typed operation tree.

data TypeCheckedOp where Source #

Represents nodes of a partially typed operation tree.

Constructors

WellTypedOp :: (SingI inp, SingI out) => Instr inp out -> TypeCheckedOp	Constructs well-typed node.
IllTypedOp :: IllTypedInstr -> TypeCheckedOp	Constructs ill-typed node which might in turn contain well-typed and non-typed operations.

Instances

Instances details

Show TypeCheckedOp Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheckedOp Methods showsPrec :: Int -> TypeCheckedOp -> ShowS # show :: TypeCheckedOp -> String # showList :: [TypeCheckedOp] -> ShowS #
NFData TypeCheckedOp Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheckedOp Methods rnf :: TypeCheckedOp -> () #
Eq TypeCheckedOp Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheckedOp Methods (==) :: TypeCheckedOp -> TypeCheckedOp -> Bool # (/=) :: TypeCheckedOp -> TypeCheckedOp -> Bool #
RenderDoc TypeCheckedOp Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheckedOp Methods renderDoc :: RenderContext -> TypeCheckedOp -> Doc Source # isRenderable :: TypeCheckedOp -> Bool Source #

data IllTypedInstr Source #

Represents a non-well-typed operation

Constructors

SemiTypedInstr TypeCheckedInstr	Constructs a partialy typed operation.
NonTypedInstr ExpandedOp	Constructs a completely untyped operation.

Instances

Instances details

Generic IllTypedInstr Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheckedOp Associated Types type Rep IllTypedInstr :: Type -> Type # Methods from :: IllTypedInstr -> Rep IllTypedInstr x # to :: Rep IllTypedInstr x -> IllTypedInstr #
Show IllTypedInstr Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheckedOp Methods showsPrec :: Int -> IllTypedInstr -> ShowS # show :: IllTypedInstr -> String # showList :: [IllTypedInstr] -> ShowS #
NFData TypeCheckedOp => NFData IllTypedInstr Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheckedOp Methods rnf :: IllTypedInstr -> () #
Eq IllTypedInstr Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheckedOp Methods (==) :: IllTypedInstr -> IllTypedInstr -> Bool # (/=) :: IllTypedInstr -> IllTypedInstr -> Bool #
type Rep IllTypedInstr Source #
Instance details Defined in Morley.Michelson.TypeCheck.TypeCheckedOp type Rep IllTypedInstr = D1 ('MetaData "IllTypedInstr" "Morley.Michelson.TypeCheck.TypeCheckedOp" "morley-1.18.0-inplace" 'False) (C1 ('MetaCons "SemiTypedInstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TypeCheckedInstr)) :+: C1 ('MetaCons "NonTypedInstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExpandedOp)))

data TypeCheckedSeq inp Source #

Represents a partiall typed sequence of instructions.

Constructors

WellTypedSeq (SomeInstr inp)	A fully well-typed sequence.
MixedSeq (SomeInstr inp) TCError [IllTypedInstr]	A well-typed prefix followed by some error and semi-typed instructions.
IllTypedSeq TCError [IllTypedInstr]	There is no well-typed prefix, only an error and semi-typed instructions.

tcsEither Source #

Arguments

:: ([TypeCheckedOp] -> TCError -> a)	On error, with all already typechecked operations
-> (SomeInstr inp -> a)	On well-typed instruction
-> TypeCheckedSeq inp	The sequence to dispatch on
-> a

Case analysis for TypeCheckedSeq.

seqToOps :: TypeCheckedSeq inp -> [TypeCheckedOp] Source #

someInstrToOp :: SomeInstr inp -> TypeCheckedOp Source #

Makes a well-typed node out of SomeInstr

someViewToOp :: View' op -> SomeView st -> View' TypeCheckedOp Source #

Makes a view with well-typed code, taking the untyped and typechecked view.