FunctorCombo.Strict

Strict products and sums.Strict

Documentation

data a :*! b infixl 7

Strict pair

Constructors

!a :*! !b infixl 7

Instances

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

type STrie ((:*!) a b) = (:.) (STrie a) (STrie 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 infixl 6

Strict sum

Constructors

Left' !a

Right' !b

Instances

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

type STrie ((:+!) a b) = (:*:) (STrie a) (STrie b)

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

Case analysis for strict sums. Like either.