Generics.Regular.Functions.Crush

Summary: Generic crush.

Crush functions

class Crush f where

The Crush class defines a right-associative crush on functorial values.

Methods

crush :: Assoc -> (a -> b -> b) -> b -> f a -> b

Instances

Crush U

Crush I

Crush (K a)

Crush f => Crush (S s f)

Crush f => Crush (C c f)

(Crush f, Crush g) => Crush (:*: f g)

(Crush f, Crush g) => Crush (:+: f g)

data Assoc

Associativity of the binary operator used for crush

Constructors

AssocLeft

Left-associative

AssocRight

Right-associative

flattenl :: Crush f => f a -> [a]

Flatten a structure by collecting all the elements present.

flattenr :: Crush f => f a -> [a]

crushr :: Crush f => (a -> b -> b) -> b -> f a -> b

crushl :: Crush f => (a -> b -> b) -> b -> f a -> b