funspection-1.0.0.0: Type-level function utilities

Safe HaskellSafe
LanguageHaskell2010

Type.Funspection

Description

 

Documentation

module Type.Funspection.Decidable

module Type.Funspection.Undecidable