singular-factory-0.1: Multivariate polynomial factorization via bindings to Singular-factory
Math.Singular.Factory.Internal.DList
Description
Difference lists, minimalistic edition
type DList a = [a] -> [a] Source #
empty :: DList a Source #
singleton :: a -> DList a Source #
toList :: DList a -> [a] Source #
append :: DList a -> DList a -> DList a Source #
concat :: [DList a] -> DList a Source #