Data.Category.Fix

Documentation

newtype Fix f a b

Constructors

Fix (f (Fix f) a b)

Instances

Category (f (Fix f)) => Category (Fix f)

Fix f is the fixed point category for a category combinator f.

HasBinaryCoproducts (f (Fix f)) => HasBinaryCoproducts (Fix f)

Fix f inherits its (co)limits from f (Fix f).

HasBinaryProducts (f (Fix f)) => HasBinaryProducts (Fix f)

Fix f inherits its (co)limits from f (Fix f).

HasInitialObject (f (Fix f)) => HasInitialObject (Fix f)

Fix f inherits its (co)limits from f (Fix f).

HasTerminalObject (f (Fix f)) => HasTerminalObject (Fix f)

Fix f inherits its (co)limits from f (Fix f).

CartesianClosed (f (Fix f)) => CartesianClosed (Fix f)

Fix f inherits its exponentials from f (Fix f).

data Wrap f

Constructors

Wrap

Instances

Category (f (Fix f)) => Functor (Wrap f)

The Wrap functor wraps Fix around f (Fix f).

type Omega = Fix (:>>: Unit)

Take the Omega category, add a new disctinct object, and an arrow from that object to every object in Omega, and you get Omega again.