functor-combo-0.3.1: Functor combinators with tries & zippers

Stabilityexperimental
Maintainerconal@conal.net
Safe HaskellSafe-Inferred

FunctorCombo.Strict

Description

Strict products and sums.Strict

Synopsis

Documentation

data a :*! b Source

Strict pair

Constructors

!a :*! !b 

Instances

(HasTrie a, HasTrie b) => HasTrie (:*! a b) 

curry' :: ((a :*! b) -> c) -> a -> b -> cSource

Curry on strict pairs

uncurry' :: (a -> b -> c) -> (a :*! b) -> cSource

Uncurry on strict pairs

data a :+! b Source

Strict sum

Constructors

Left' !a 
Right' !b 

Instances

(HasTrie a, HasTrie b) => HasTrie (:+! a b) 

either' :: (a -> c) -> (b -> c) -> (a :+! b) -> cSource

Case analysis for strict sums. Like either.