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

OAlg.Limes.Perspective

Description

concept of Projective and Injective.

Synopsis

data Perspective
- = Projective
- | Injective

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