eliminators-0.1: Dependently typed elimination functions using singletons (Index)

eliminators-0.1: Dependently typed elimination functions using singletons

Index

-?>	Data.Eliminator
:->	Data.Eliminator
:~>	Data.Eliminator
App	Data.Eliminator
AppType	Data.Eliminator
elimBool	Data.Eliminator
elimBoolPoly	Data.Eliminator
elimBoolTyFun	Data.Eliminator
elimEither	Data.Eliminator
elimEitherPoly	Data.Eliminator
elimEitherTyFun	Data.Eliminator
elimList	Data.Eliminator
elimListPoly	Data.Eliminator
elimListTyFun	Data.Eliminator
elimMaybe	Data.Eliminator
elimMaybePoly	Data.Eliminator
elimMaybeTyFun	Data.Eliminator
elimNat	Data.Eliminator
elimNatPoly	Data.Eliminator
elimNatTyFun	Data.Eliminator
elimNonEmpty	Data.Eliminator
elimNonEmptyPoly	Data.Eliminator
elimNonEmptyTyFun	Data.Eliminator
elimOrdering	Data.Eliminator
elimOrderingPoly	Data.Eliminator
elimOrderingTyFun	Data.Eliminator
elimTuple0	Data.Eliminator
elimTuple0Poly	Data.Eliminator
elimTuple0TyFun	Data.Eliminator
elimTuple2	Data.Eliminator
elimTuple2Poly	Data.Eliminator
elimTuple2TyFun	Data.Eliminator
elimTuple3	Data.Eliminator
elimTuple3Poly	Data.Eliminator
elimTuple3TyFun	Data.Eliminator
elimTuple4	Data.Eliminator
elimTuple4Poly	Data.Eliminator
elimTuple4TyFun	Data.Eliminator
elimTuple5	Data.Eliminator
elimTuple5Poly	Data.Eliminator
elimTuple5TyFun	Data.Eliminator
elimTuple6	Data.Eliminator
elimTuple6Poly	Data.Eliminator
elimTuple6TyFun	Data.Eliminator
elimTuple7	Data.Eliminator
elimTuple7Poly	Data.Eliminator
elimTuple7TyFun	Data.Eliminator
Fun	Data.Eliminator
FunApp	Data.Eliminator
FunArrow	Data.Eliminator
FunType	Data.Eliminator