Safe Haskell | None |
---|
- useNamesFromPattern :: [NamedArg Pattern] -> Telescope -> Telescope
- noProblemRest :: Problem -> Bool
- problemFromPats :: [NamedArg Pattern] -> Type -> TCM Problem
- updateProblemRest_ :: Problem -> TCM (Nat, Problem)
- updateProblemRest :: LHSState -> TCM LHSState
Documentation
useNamesFromPattern :: [NamedArg Pattern] -> Telescope -> TelescopeSource
Rename the variables in a telescope using the names from a given pattern
noProblemRest :: Problem -> BoolSource
Are there any untyped user patterns left?