Safe Haskell	Safe
Language	Haskell2010

Data.Universal

Synopsis

class Functor s t f => Universal (s :: α -> α -> *) (t :: β -> β -> *) (x :: β) (f :: α -> β) where
- type Element s t x f :: α
- morphism :: Const (t x (f (Element s t x f))) s
- universal :: t x (f a) -> s (Element s t x f) a

Documentation

class Functor s t f => Universal (s :: α -> α -> *) (t :: β -> β -> *) (x :: β) (f :: α -> β) where Source #

Laws:

f = Functor (universal f) . getConst morphism

Associated Types

type Element s t x f :: α Source #

Methods

morphism :: Const (t x (f (Element s t x f))) s Source #

universal :: t x (f a) -> s (Element s t x f) a Source #

Instances

Universal (Const2 () :: () -> () -> Type) ((->) :: Type -> Type -> Type) () (Const () :: () -> Type) Source #
Instance details Defined in Data.Universal Associated Types type Element (Const2 ()) (->) () (Const ()) :: α Source # Methods morphism :: Const (() -> Const () (Element (Const2 ()) (->) () (Const ()))) (Const2 ()) Source # universal :: (() -> Const () a) -> Const2 () (Element (Const2 ()) (->) () (Const ())) a Source #