Modulesemialign-1.3.1Haskell2010

Data.Crosswalk

Crosswalk

1 declaration

classclass (Functor t, Foldable t) => Crosswalk (t :: Type -> Type) where

Foldable functors supporting traversal through an alignable functor.

Minimal definition: crosswalk or sequenceL.

Laws:

crosswalk (const nil) = const nil
crosswalk f = sequenceL . fmap f

Instances8Crosswalk, …

Crosswalk SeqDefined in semialign-1.3.1 · Data.Crosswalk
Crosswalk IdentityDefined in semialign-1.3.1 · Data.Crosswalk
Crosswalk MaybeDefined in semialign-1.3.1 · Data.Crosswalk
Crosswalk VectorDefined in semialign-1.3.1 · Data.Crosswalk
Crosswalk []Defined in semialign-1.3.1 · Data.Crosswalk
Crosswalk (Tuple2 a)Defined in semialign-1.3.1 · Data.Crosswalk
Crosswalk (These a)Defined in semialign-1.3.1 · Data.Crosswalk
(Crosswalk f, Crosswalk g) => Crosswalk (Compose f g)Defined in semialign-1.3.1 · Data.Crosswalk

1 declaration

classclass (Bifunctor t, Bifoldable t) => Bicrosswalk (t :: Type -> Type -> Type) where

Bifoldable bifunctors supporting traversal through an alignable functor.

Minimal definition: bicrosswalk or bisequenceL.

Laws:

bicrosswalk (const empty) (const empty) = const empty
bicrosswalk f g = bisequenceL . bimap f g

Instances2Bicrosswalk