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