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 Source | |
DropArgs ClauseBody Source | NOTE: does not go into the body, so does not work for recursive functions. |
DropArgs Clause Source | NOTE: does not work for recursive functions. |
DropArgs Telescope Source | NOTE: This creates telescopes with unbound de Bruijn indices. |
DropArgs CompiledClauses Source | To drop the first |
DropArgs FunctionInverse Source | |
DropArgs a => DropArgs (Maybe a) Source |