funspection-1.0.0.0: Type-level function utilities

Safe HaskellSafe
LanguageHaskell2010

Type.Funspection.Undecidable

Description

 
Synopsis

Documentation

type family ArityOf (f :: Type) :: Nat where ... Source #

Yields the arity of the given function type as a type-level Nat

Equations

ArityOf (a -> b) = 1 + ArityOf b 
ArityOf r = 0