Safe Haskell | Safe-Infered |
---|
- asView :: Pattern -> ([Name], Pattern)
- expandLitPattern :: NamedArg Pattern -> TCM (NamedArg Pattern)
- splitProblem :: Problem -> TCM (Either SplitError SplitProblem)
- wellFormedIndices :: [Arg Term] -> [Arg Term] -> TCM ()
Documentation
splitProblem :: Problem -> TCM (Either SplitError SplitProblem)Source
Split a problem at the first constructor of datatype type. Implicit patterns should have been inserted.