definitive-base-2.6.3: A small Prelude wrapper to simplify my own Haskell developments

Safe Haskell	None
Language	Haskell2010

Algebra.Subtractive

Documentation

type (:*:) a b = (a, b) Source #

newtype a :+: b Source #

Constructors

Union (forall r. ((a -> r) :*: (b -> r)) -> r)

newtype a :-: b Source #

Constructors

Diff (forall r. (b -> r) -> a -> r)

type (:/:) a b = b -> a Source #