Safe Haskell	Safe-Inferred
Language	Haskell2010

ConCat.Local

Description

A category of local approximations (and probably other uses)

Documentation

newtype Local k a b Source #

Constructors

Local (a -> a `k` b)

Instances details

Category k => Category (Local k) Source #
Instance details Defined in ConCat.Local Associated Types type Ok (Local k) :: Type -> Constraint Source # Methods id :: Ok (Local k) a => Local k a a Source # (.) :: forall b c a. Ok3 (Local k) a b c => Local k b c -> Local k a b -> Local k a c Source #
Newtype (Local k a b) Source #
Instance details Defined in ConCat.Local Associated Types type O (Local k a b) Source # Methods pack :: O (Local k a b) -> Local k a b Source # unpack :: Local k a b -> O (Local k a b) Source #
type Ok (Local k) Source #
Instance details Defined in ConCat.Local type Ok (Local k) = OkLocal k
type O (Local k a b) Source #
Instance details Defined in ConCat.Local type O (Local k a b) = a -> k a b

simpleL :: (a `k` b) -> Local k a b Source #

class (Ok k a, Copointed (k a)) => OkLocal k a Source #

Instances details

(Ok k a, Copointed (k a)) => OkLocal k a Source #
Instance details Defined in ConCat.Local