Copyright	(c) Erich Gut
License	BSD3
Maintainer	zerich.gut@gmail.com
Safe Haskell	None
Language	Haskell2010

OAlg.Category.Map

Description

categoris of mappings.

Synopsis

data Map s x y where
- Map :: forall s x y. (Structure s x, Structure s y) => (x -> y) -> Map s x y

Documentation

data Map s x y where Source #

mapping between s-structures.

Constructors

Map :: forall s x y. (Structure s x, Structure s y) => (x -> y) -> Map s x y

Instances

Instances details

ApplicativeG Set (Map EntOrd) (->) Source #

Instance details

Defined in OAlg.Entity.Sequence.Set

Methods

amapG :: Map EntOrd x y -> Set x -> Set y Source #

ApplicativeG Set (Map Ord') (->) Source #

Instance details

Defined in OAlg.Entity.Sequence.Set

Methods

amapG :: Map Ord' x y -> Set x -> Set y Source #

ApplicativeG [] (Map s) (->) Source #

Instance details

Defined in OAlg.Category.Map

Methods

amapG :: Map s x y -> [x] -> [y] Source #

FunctorialG Set (Map EntOrd) (->) Source #

Instance details

Defined in OAlg.Entity.Sequence.Set

FunctorialG Set (Map Ord') (->) Source #

Instance details

Defined in OAlg.Entity.Sequence.Set

FunctorialG [] (Map s) (->) Source #

Instance details

Defined in OAlg.Category.Map

Category (Map s) Source #

Instance details

Defined in OAlg.Category.Map

Methods

cOne :: Struct (ObjectClass (Map s)) x -> Map s x x Source #

(.) :: Map s y z -> Map s x y -> Map s x z Source #

Morphism (Map s) Source #

Instance details

Defined in OAlg.Category.Map

Associated Types

type ObjectClass (Map s)
Instance details Defined in OAlg.Category.Map type ObjectClass (Map s) = s

Methods

homomorphous :: Map s x y -> Homomorphous (ObjectClass (Map s)) x y Source #

domain :: Map s x y -> Struct (ObjectClass (Map s)) x Source #

range :: Map s x y -> Struct (ObjectClass (Map s)) y Source #

type ObjectClass (Map s) Source #

Instance details

Defined in OAlg.Category.Map

type ObjectClass (Map s) = s