Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Actual decision implementation for NumChildren
.
Synopsis
- numChildren :: [Type] -> NumChildren
- countInstrArgs :: [Type] -> Int
- isExtInstr :: Type -> Bool
- isInstr :: Type -> Bool
- isAppToInstr :: Type -> Bool
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.
countInstrArgs :: [Type] -> Int Source #
isExtInstr :: Type -> Bool Source #
isAppToInstr :: Type -> Bool Source #