funspection-1.0.0.0: Type-level function utilities
Type.Funspection.Undecidable
Description
type family ArityOf (f :: Type) :: Nat where ... Source #
Yields the arity of the given function type as a type-level Nat
Nat
Equations