| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.NumChildren
Description
Actual decision implementation for NumChildren.
Synopsis
- numChildren :: [Type] -> NumChildren
- isExtInstr :: Type -> Bool
- isAppToInstr :: Type -> Bool
- isInstr :: Type -> Bool
- countInstrArgs :: [Type] -> Int
Documentation
numChildren :: [Type] -> NumChildren Source #
Given a list of constructor arguments, count how many of those arguments
are instructions (i.e. Instr), and return the corresponding classification.
There is one unfortunate case of ambiguity in ExtInstr we have to handle
manually. If arguments mention Instr indirectly, e.g. Value' Instr t
HasIndirectChildren is returned instead.
isExtInstr :: Type -> Bool Source #
isAppToInstr :: Type -> Bool Source #
countInstrArgs :: [Type] -> Int Source #