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

eliminators-0.8: Dependently typed elimination functions using singletons

Index

deriveElim	Data.Eliminator.TH
deriveElimNamed	Data.Eliminator.TH
deriveTypeElim	Data.Eliminator.TH
deriveTypeElimNamed	Data.Eliminator.TH
ElimAll	Data.Eliminator
elimAll	Data.Eliminator
ElimAny	Data.Eliminator
elimAny	Data.Eliminator
ElimArg	Data.Eliminator
elimArg	Data.Eliminator
ElimBool	Data.Eliminator
elimBool	Data.Eliminator
ElimConst	Data.Eliminator
elimConst	Data.Eliminator
ElimDown	Data.Eliminator
elimDown	Data.Eliminator
ElimDual	Data.Eliminator
elimDual	Data.Eliminator
ElimEither	Data.Eliminator
elimEither	Data.Eliminator
ElimFirst	Data.Eliminator
elimFirst	Data.Eliminator
ElimIdentity	Data.Eliminator
elimIdentity	Data.Eliminator
ElimLast	Data.Eliminator
elimLast	Data.Eliminator
ElimList	Data.Eliminator
elimList	Data.Eliminator
ElimMax	Data.Eliminator
elimMax	Data.Eliminator
ElimMaybe	Data.Eliminator
elimMaybe	Data.Eliminator
ElimMin	Data.Eliminator
elimMin	Data.Eliminator
ElimNat	Data.Eliminator
elimNat
1 (Function)	Data.Eliminator
2 (Function)	Data.Eliminator.TypeNats
ElimNonEmpty	Data.Eliminator
elimNonEmpty	Data.Eliminator
ElimOrdering	Data.Eliminator
elimOrdering	Data.Eliminator
ElimProduct	Data.Eliminator
elimProduct	Data.Eliminator
ElimSum	Data.Eliminator
elimSum	Data.Eliminator
ElimTuple0	Data.Eliminator
elimTuple0	Data.Eliminator
ElimTuple2	Data.Eliminator
elimTuple2	Data.Eliminator
ElimTuple3	Data.Eliminator
elimTuple3	Data.Eliminator
ElimTuple4	Data.Eliminator
elimTuple4	Data.Eliminator
ElimTuple5	Data.Eliminator
elimTuple5	Data.Eliminator
ElimTuple6	Data.Eliminator
elimTuple6	Data.Eliminator
ElimTuple7	Data.Eliminator
elimTuple7	Data.Eliminator
ElimVoid	Data.Eliminator
elimVoid	Data.Eliminator
ElimWrappedMonoid	Data.Eliminator
elimWrappedMonoid	Data.Eliminator