Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class DropArgs a where
Dropping initial arguments to create a projection-like function
class DropArgs a where Source #
When making a function projection-like, we drop the first n
arguments.
DropArgs Permutation Source # | |
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 # | |