folds-0.6.2: Beautiful Folding

Safe Haskell	Safe-Inferred

Data.Fold.Internal

Synopsis

Documentation

data SnocList a Source

Reversed '[]'

Constructors

Snoc (SnocList a) a
Nil

Instances

Functor SnocList
Typeable1 SnocList
Foldable SnocList
Traversable SnocList
Eq a => Eq (SnocList a)
Data a => Data (SnocList a)
Ord a => Ord (SnocList a)
Read a => Read (SnocList a)
Show a => Show (SnocList a)

data SnocList1 a Source

Constructors

Snoc1 (SnocList1 a) a
First a

Instances

Functor SnocList1
Typeable1 SnocList1
Foldable SnocList1
Traversable SnocList1
Eq a => Eq (SnocList1 a)
Data a => Data (SnocList1 a)
Ord a => Ord (SnocList1 a)
Read a => Read (SnocList1 a)
Show a => Show (SnocList1 a)

data List1 a Source

Constructors

Cons1 a (List1 a)
Last a

Instances

Functor List1
Foldable List1
Traversable List1

data Maybe' a Source

Strict Maybe

Constructors

Nothing'
Just' !a

Instances

Typeable1 Maybe'
Foldable Maybe'
Eq a => Eq (Maybe' a)
Data a => Data (Maybe' a)
Ord a => Ord (Maybe' a)
Read a => Read (Maybe' a)
Show a => Show (Maybe' a)

maybe' :: b -> (a -> b) -> Maybe' a -> bSource

data Pair' a b Source

Strict Pair

Constructors

Pair' !a !b

Instances

Typeable2 Pair'
(Eq a, Eq b) => Eq (Pair' a b)
(Data a, Data b) => Data (Pair' a b)
(Ord a, Ord b) => Ord (Pair' a b)
(Read a, Read b) => Read (Pair' a b)
(Show a, Show b) => Show (Pair' a b)
(Monoid a, Monoid b) => Monoid (Pair' a b)

newtype N a s Source

A reified Monoid.

Constructors

N
Fields runN :: a

Instances

Typeable2 N
Eq a => Eq (N a s)
(Data a, Data s) => Data (N a s)
Ord a => Ord (N a s)
Read a => Read (N a s)
Show a => Show (N a s)
Reifies * s (a -> a -> a, a) => Monoid (N a s)

data Tree a Source

The shape of a foldMap

Constructors

Zero
One a
Two (Tree a) (Tree a)

Instances

Functor Tree
Typeable1 Tree
Foldable Tree
Traversable Tree
Eq a => Eq (Tree a)
Data a => Data (Tree a)
Ord a => Ord (Tree a)
Read a => Read (Tree a)
Show a => Show (Tree a)

data Tree1 a Source

Constructors

Bin1 (Tree1 a) (Tree1 a)
Tip1 a

Instances

Functor Tree1
Foldable Tree1
Traversable Tree1

newtype An a Source

Constructors

An a

Instances

Functor An
Typeable1 An
Foldable An
Traversable An
Eq a => Eq (An a)
Data a => Data (An a)
Ord a => Ord (An a)
Read a => Read (An a)
Show a => Show (An a)

data Box a Source

Constructors

Instances

Functor Box
Typeable1 Box
Foldable Box
Traversable Box
Eq a => Eq (Box a)
Data a => Data (Box a)
Ord a => Ord (Box a)
Read a => Read (Box a)
Show a => Show (Box a)