Module

# Data.Functor.Mu

- Package
- purescript-fixed-points
- Repository
- purescript-contrib/purescript-fixed-points

### #Mu Source

`newtype Mu :: (Type -> Type) -> Type`

`newtype Mu f`

`Mu f`

is the least fixed point of a functor `f`

, when it exists.

#### Constructors

#### Instances

`Newtype (Mu f) _`

`(Eq1 f) => Eq (Mu f)`

`(Eq1 f, Ord1 f) => Ord (Mu f)`

To implement

`Ord`

, we require`f`

to have higher-kinded comparison.`(Show (f TacitString), Functor f) => Show (Mu f)`

`Show`

is compositional, so we only`f`

to be able to show a single layer of structure.`(Alt f) => Semigroup (Mu f)`

`(Plus f) => Monoid (Mu f)`

To implement

`Eq`

, we require`f`

to have higher-kinded equality.