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

OAlg.Limes.Perspective

Description

concept of Projective and Injective.

Synopsis

data Perspective
- = Projective
- | Injective
type family ToPerspective (t :: k) :: Perspective

Documentation

data Perspective Source #

concept of Projective and Injective.

Constructors

Projective
Injective

Instances

Instances details

Bounded Perspective Source #
Instance details Defined in OAlg.Limes.Perspective Methods minBound :: Perspective # maxBound :: Perspective #
Enum Perspective Source #
Instance details Defined in OAlg.Limes.Perspective Methods succ :: Perspective -> Perspective # pred :: Perspective -> Perspective # toEnum :: Int -> Perspective # fromEnum :: Perspective -> Int # enumFrom :: Perspective -> [Perspective] # enumFromThen :: Perspective -> Perspective -> [Perspective] # enumFromTo :: Perspective -> Perspective -> [Perspective] # enumFromThenTo :: Perspective -> Perspective -> Perspective -> [Perspective] #
Show Perspective Source #
Instance details Defined in OAlg.Limes.Perspective Methods showsPrec :: Int -> Perspective -> ShowS # show :: Perspective -> String # showList :: [Perspective] -> ShowS #
Eq Perspective Source #
Instance details Defined in OAlg.Limes.Perspective Methods (==) :: Perspective -> Perspective -> Bool # (/=) :: Perspective -> Perspective -> Bool #
Ord Perspective Source #
Instance details Defined in OAlg.Limes.Perspective Methods compare :: Perspective -> Perspective -> Ordering # (<) :: Perspective -> Perspective -> Bool # (<=) :: Perspective -> Perspective -> Bool # (>) :: Perspective -> Perspective -> Bool # (>=) :: Perspective -> Perspective -> Bool # max :: Perspective -> Perspective -> Perspective # min :: Perspective -> Perspective -> Perspective #
type Dual 'Injective Source #
Instance details Defined in OAlg.Limes.Perspective type Dual 'Injective = 'Projective
type Dual 'Projective Source #
Instance details Defined in OAlg.Limes.Perspective type Dual 'Projective = 'Injective
type ToSite 'Injective Source #
Instance details Defined in OAlg.Limes.Perspective type ToSite 'Injective = 'From
type ToSite 'Projective Source #
Instance details Defined in OAlg.Limes.Perspective type ToSite 'Projective = 'To

type family ToPerspective (t :: k) :: Perspective Source #

mapping to Perspective-

Instances

Instances details

type ToPerspective 'From Source #
Instance details Defined in OAlg.Limes.Perspective type ToPerspective 'From = 'Injective
type ToPerspective 'To Source #
Instance details Defined in OAlg.Limes.Perspective type ToPerspective 'To = 'Projective