Control.Category.Recursive

Documentation

class Category k => Recursive k where

Methods

recurseL :: (Either a s `k` Either b s) -> a `k` b

recurseR :: (Either s a `k` Either s b) -> a `k` b

Instances

Recursive ((->) :: Type -> Type -> Type)

Defined in Control.Category.Recursive

Methods

recurseL :: (Either a s -> Either b s) -> a -> b

recurseR :: (Either s a -> Either s b) -> a -> b

r ~ 'Req 'HasCategory symP symS monP monS cart cocart 'HasRecursive fix => Recursive (Catalyst r c)

Defined in Control.Category.Free

Methods

recurseL :: Catalyst r c (Either a s) (Either b s) -> Catalyst r c a b

recurseR :: Catalyst r c (Either s a) (Either s b) -> Catalyst r c a b

class Category k => Fixed k where

Methods

fixL :: ((a, s) `k` (b, s)) -> a `k` b

fixR :: ((s, a) `k` (s, b)) -> a `k` b

Instances

Fixed ((->) :: Type -> Type -> Type)

Defined in Control.Category.Recursive

Methods

fixL :: ((a, s) -> (b, s)) -> a -> b

fixR :: ((s, a) -> (s, b)) -> a -> b

r ~ 'Req 'HasCategory symP symS monP monS cart cocart rec 'HasFixed => Fixed (Catalyst r c)

Defined in Control.Category.Free

Methods

fixL :: Catalyst r c (a, s) (b, s) -> Catalyst r c a b

fixR :: Catalyst r c (s, a) (s, b) -> Catalyst r c a b