eliminators-0.3: Dependently typed elimination functions using singletons

Index

deriveElimData.Eliminator.TH
deriveElimNamedData.Eliminator.TH
elimBoolData.Eliminator
elimEitherData.Eliminator
elimListData.Eliminator
elimMaybeData.Eliminator
elimNat 
1 (Function)Data.Eliminator
2 (Function)Data.Eliminator.TypeNats
elimNonEmptyData.Eliminator
elimOrderingData.Eliminator
elimTuple0Data.Eliminator
elimTuple2Data.Eliminator
elimTuple3Data.Eliminator
elimTuple4Data.Eliminator
elimTuple5Data.Eliminator
elimTuple6Data.Eliminator
elimTuple7Data.Eliminator