hask-0: Categories

Safe HaskellNone
LanguageHaskell2010

Hask.Discrete

Documentation

data Discrete a Source

Constructors

Discrete a 

Instances

Category (Discrete k) ((|~>|) k) 
type Hom (Discrete k) * = (|~>|) k 

data x |~>| y where Source

Constructors

Refl :: x |~>| x 

Instances

Category (Discrete k) ((|~>|) k)