FunctorCombo.Strict

Strict products and sums.Strict

Documentation

data a :*! b

Strict pair

Constructors

!a :*! !b

Instances

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

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

Curry on strict pairs

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

Uncurry on strict pairs

data a :+! b

Strict sum

Constructors

Left' !a

Right' !b

Instances

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

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

Case analysis for strict sums. Like either.