hask-0: Categories

Safe HaskellNone
LanguageHaskell2010

Hask.Eq

Documentation

type family (==) :: i -> i -> j Source

Instances

type (==) k * = (:~:) k 
type (==) k Constraint = (~) k 

class (hom ~ Hom) => Subst hom where Source

Methods

subst :: Hom (a == b) (hom (f a) (f b)) Source