Safe Haskell | None |
---|---|
Language | Haskell98 |
Dropping initial arguments to create a projection-like function
When making a function projection-like, we drop the first n
arguments.
DropArgs Permutation | |
DropArgs ClauseBody | NOTE: does not go into the body, so does not work for recursive functions. |
DropArgs Clause | NOTE: does not work for recursive functions. |
DropArgs Telescope | NOTE: This creates telescopes with unbound de Bruijn indices. |
DropArgs CompiledClauses | To drop the first |
DropArgs FunctionInverse | |
DropArgs a => DropArgs (Maybe a) |