eliminators-0.9.5: Dependently typed elimination functions using singletons

Index

deriveElimData.Eliminator.TH
deriveElimNamedData.Eliminator.TH
deriveTypeElimData.Eliminator.TH
deriveTypeElimNamedData.Eliminator.TH
ElimAllData.Eliminator.Monoid, Data.Eliminator.Semigroup, Data.Eliminator
elimAllData.Eliminator.Monoid, Data.Eliminator.Semigroup, Data.Eliminator
ElimAnyData.Eliminator.Monoid, Data.Eliminator.Semigroup, Data.Eliminator
elimAnyData.Eliminator.Monoid, Data.Eliminator.Semigroup, Data.Eliminator
ElimArgData.Eliminator.Semigroup, Data.Eliminator
elimArgData.Eliminator.Semigroup, Data.Eliminator
ElimBoolData.Eliminator
elimBoolData.Eliminator
ElimConstData.Eliminator.Functor, Data.Eliminator
elimConstData.Eliminator.Functor, Data.Eliminator
ElimDownData.Eliminator
elimDownData.Eliminator
ElimDualData.Eliminator.Monoid, Data.Eliminator.Semigroup, Data.Eliminator
elimDualData.Eliminator.Monoid, Data.Eliminator.Semigroup, Data.Eliminator
ElimEitherData.Eliminator
elimEitherData.Eliminator
ElimFirst 
1 (Type/Class)Data.Eliminator.Monoid
2 (Type/Class)Data.Eliminator.Semigroup
elimFirst 
1 (Function)Data.Eliminator.Monoid
2 (Function)Data.Eliminator.Semigroup
ElimIdentityData.Eliminator.Functor, Data.Eliminator
elimIdentityData.Eliminator.Functor, Data.Eliminator
ElimLast 
1 (Type/Class)Data.Eliminator.Monoid
2 (Type/Class)Data.Eliminator.Semigroup
elimLast 
1 (Function)Data.Eliminator.Monoid
2 (Function)Data.Eliminator.Semigroup
ElimListData.Eliminator
elimListData.Eliminator
ElimMaxData.Eliminator.Semigroup, Data.Eliminator
elimMaxData.Eliminator.Semigroup, Data.Eliminator
ElimMaybeData.Eliminator
elimMaybeData.Eliminator
ElimMinData.Eliminator.Semigroup, Data.Eliminator
elimMinData.Eliminator.Semigroup, Data.Eliminator
ElimNatData.Eliminator
elimNat 
1 (Function)Data.Eliminator
2 (Function)Data.Eliminator.TypeNats, Data.Eliminator.TypeLits
ElimNonEmptyData.Eliminator
elimNonEmptyData.Eliminator
ElimOrderingData.Eliminator
elimOrderingData.Eliminator
ElimProduct 
1 (Type/Class)Data.Eliminator.Monoid, Data.Eliminator.Semigroup
2 (Type/Class)Data.Eliminator.Functor
elimProduct 
1 (Function)Data.Eliminator.Monoid, Data.Eliminator.Semigroup
2 (Function)Data.Eliminator.Functor
ElimProxyData.Eliminator
elimProxyData.Eliminator
ElimSum 
1 (Type/Class)Data.Eliminator.Monoid, Data.Eliminator.Semigroup
2 (Type/Class)Data.Eliminator.Functor
elimSum 
1 (Function)Data.Eliminator.Monoid, Data.Eliminator.Semigroup
2 (Function)Data.Eliminator.Functor
elimSymbolData.Eliminator.TypeLits
ElimTuple0Data.Eliminator
elimTuple0Data.Eliminator
ElimTuple2Data.Eliminator
elimTuple2Data.Eliminator
ElimTuple3Data.Eliminator
elimTuple3Data.Eliminator
ElimTuple4Data.Eliminator
elimTuple4Data.Eliminator
ElimTuple5Data.Eliminator
elimTuple5Data.Eliminator
ElimTuple6Data.Eliminator
elimTuple6Data.Eliminator
ElimTuple7Data.Eliminator
elimTuple7Data.Eliminator
ElimVoidData.Eliminator
elimVoidData.Eliminator
ElimWrappedMonoidData.Eliminator.Semigroup, Data.Eliminator
elimWrappedMonoidData.Eliminator.Semigroup, Data.Eliminator