extended-categories-0.1.0: Extended Categories

Safe HaskellNone
LanguageHaskell2010

Terminal

Documentation

class (Category c, Object c (T c)) => Terminal c where Source

Associated Types

type T c Source

Methods

term :: Object c a => c a (T c) Source

Instances

Terminal (->)