morley-1.20.0: Developer tools for the Michelson Language
Safe HaskellSafe-Inferred
LanguageHaskell2010

Morley.Michelson.TypeCheck.TypeCheckedOp

Synopsis

Documentation

type TypeCheckedInstr op = InstrAbstract [] (TypeCheckedOp op) Source #

Represents a root of a partially typed operation tree.

data TypeCheckedOp op where Source #

Represents nodes of a partially typed operation tree.

Constructors

WellTypedOp :: SomeSingInstr -> 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.

MixedOp :: Nesting -> SomeSingInstr -> [IllTypedInstr op] -> TypeCheckedOp op

Partially typed sequence of operations. Used exclusively for error-reporting. Nesting argument exists because we can't mix typed and untyped instructions, so we need a way to represent brace nesting of { <typed seq>; seq }

Instances

Instances details
Functor TypeCheckedOp Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

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

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

Show op => Show (TypeCheckedOp op) Source # 
Instance details

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) Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

rnf :: TypeCheckedOp op -> () #

Eq op => Eq (TypeCheckedOp op) Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

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

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

RenderDoc op => RenderDoc (TypeCheckedOp op) Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

renderDoc :: RenderContext -> TypeCheckedOp op -> Doc Source #

isRenderable :: TypeCheckedOp op -> Bool Source #

data IllTypedInstr op Source #

Represents a non-well-typed operation

Constructors

SemiTypedInstr (TypeCheckedInstr op)

Constructs a partially typed operation.

NonTypedInstr op

Constructs a completely untyped operation.

IllTypedNest [IllTypedInstr op]

Nested sequence of ill-typed operations.

Instances

Instances details
Functor IllTypedInstr Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

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

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

Generic (IllTypedInstr op) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

rnf :: IllTypedInstr op -> () #

Eq op => Eq (IllTypedInstr op) Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

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

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

RenderDoc op => RenderDoc (IllTypedInstr op) Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

renderDoc :: RenderContext -> IllTypedInstr op -> Doc Source #

isRenderable :: IllTypedInstr op -> Bool Source #

type Rep (IllTypedInstr op) Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

type Rep (IllTypedInstr op) = D1 ('MetaData "IllTypedInstr" "Morley.Michelson.TypeCheck.TypeCheckedOp" "morley-1.20.0-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)) :+: C1 ('MetaCons "IllTypedNest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [IllTypedInstr op]))))

data Nesting Source #

Instances

Instances details
Bounded Nesting Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

minBound :: Nesting #

maxBound :: Nesting #

Enum Nesting Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

succ :: Nesting -> Nesting #

pred :: Nesting -> Nesting #

toEnum :: Int -> Nesting #

fromEnum :: Nesting -> Int #

enumFrom :: Nesting -> [Nesting] #

enumFromThen :: Nesting -> Nesting -> [Nesting] #

enumFromTo :: Nesting -> Nesting -> [Nesting] #

enumFromThenTo :: Nesting -> Nesting -> Nesting -> [Nesting] #

Num Nesting Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

(+) :: Nesting -> Nesting -> Nesting #

(-) :: Nesting -> Nesting -> Nesting #

(*) :: Nesting -> Nesting -> Nesting #

negate :: Nesting -> Nesting #

abs :: Nesting -> Nesting #

signum :: Nesting -> Nesting #

fromInteger :: Integer -> Nesting #

Show Nesting Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

showsPrec :: Int -> Nesting -> ShowS #

show :: Nesting -> String #

showList :: [Nesting] -> ShowS #

NFData Nesting Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

rnf :: Nesting -> () #

Eq Nesting Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

(==) :: Nesting -> Nesting -> Bool #

(/=) :: Nesting -> Nesting -> Bool #

Ord Nesting Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

compare :: Nesting -> Nesting -> Ordering #

(<) :: Nesting -> Nesting -> Bool #

(<=) :: Nesting -> Nesting -> Bool #

(>) :: Nesting -> Nesting -> Bool #

(>=) :: Nesting -> Nesting -> Bool #

max :: Nesting -> Nesting -> Nesting #

min :: Nesting -> Nesting -> Nesting #

data SomeSingInstr where Source #

Constructors

SomeSingInstr :: (SingI inp, SingI out) => Instr inp out -> SomeSingInstr 

Instances

Instances details
Show SomeSingInstr Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

showsPrec :: Int -> SomeSingInstr -> ShowS #

show :: SomeSingInstr -> String #

showList :: [SomeSingInstr] -> ShowS #

NFData SomeSingInstr Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

rnf :: SomeSingInstr -> () #

Eq SomeSingInstr Source # 
Instance details

Defined in Morley.Michelson.TypeCheck.TypeCheckedOp

Methods

(==) :: SomeSingInstr -> SomeSingInstr -> Bool #

(/=) :: SomeSingInstr -> SomeSingInstr -> Bool #

someInstrToOp :: SomeTcInstr inp -> TypeCheckedOp op Source #

Makes a well-typed node out of SomeTcInstr

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

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

withSomeTcInstr :: SomeTcInstr inp -> (forall out. (SingI inp, SingI out) => Instr inp out -> r) -> r Source #

Extracts Instr from SomeTcInstr and passes it to a continuation.