eliminators-0.2: Dependently typed elimination functions using singletons

Index

deriveElimData.Eliminator.TH
deriveElimNamedData.Eliminator.TH
elimBoolData.Eliminator
elimEitherData.Eliminator
elimListData.Eliminator
elimMaybeData.Eliminator
elimNatData.Eliminator
elimNonEmptyData.Eliminator
elimOrderingData.Eliminator
elimTuple0Data.Eliminator
elimTuple2Data.Eliminator
elimTuple3Data.Eliminator
elimTuple4Data.Eliminator
elimTuple5Data.Eliminator
elimTuple6Data.Eliminator
elimTuple7Data.Eliminator