Safe Haskell	None
Language	Haskell2010

Data.Colour.Manifold

Contents

Full colour space
2D/1D projected colour space
Mapping data to colours
Predefined colour maps
Orphan instances

Synopsis

data Colour a
class QuantisedColour c where
- quantiseColour :: Colour ℝ -> c
data ColourMap x
planarColourMap :: ColourPlane -> ColourMap x
colourCurve :: ColourPlane -> ℝ -> ColourMap ℝ
colourMapPlane :: Traversal' (ColourMap x) ColourPlane
spectralSwing :: Needle x ~ ℝ => Traversal' (ColourMap x) ℝ
data ColourPlane
cpCold :: Lens' ColourPlane (Colour ℝ)
cpNeutral :: Lens' ColourPlane (Interior (Colour ℝ))
cpHot :: Lens' ColourPlane (Colour ℝ)
spanColourPlane :: Interior (Colour ℝ) -> (Colour ℝ, Colour ℝ) -> ColourPlane
class Geodesic x => ColourMappable x where
- type ColourMapped x :: *
- type MappingVertex x :: *
- mapToColourWith :: HasCallStack => ColourMap (MappingVertex x) -> Interior (MappingVertex x) -> (MappingVertex x, MappingVertex x) -> x -> ColourMapped x
type SimpleColourMap = forall x. HasSimpleColourMaps x => ColourMap x
blackBlueYellowRed :: SimpleColourMap
brightVsRed :: SimpleColourMap
redVsBlue :: SimpleColourMap

Full colour space

data Colour a #

This type represents the human preception of colour. The a parameter is a numeric type used internally for the representation.

The Monoid instance allows one to add colours, but beware that adding colours can take you out of gamut. Consider using blend whenever possible.

Instances

AffineSpace Colour
Instance details Defined in Data.Colour.Internal Methods affineCombo :: Num a => [(a, Colour a)] -> Colour a -> Colour a #
ColourOps Colour
Instance details Defined in Data.Colour.Internal Methods over :: Num a => AlphaColour a -> Colour a -> Colour a # darken :: Num a => a -> Colour a -> Colour a #
Eq a => Eq (Colour a)
Instance details Defined in Data.Colour.Internal Methods (==) :: Colour a -> Colour a -> Bool # (/=) :: Colour a -> Colour a -> Bool #
Num a => Semigroup (Colour a)
Instance details Defined in Data.Colour.Internal Methods (<>) :: Colour a -> Colour a -> Colour a # sconcat :: NonEmpty (Colour a) -> Colour a # stimes :: Integral b => b -> Colour a -> Colour a #
Num a => Monoid (Colour a)
Instance details Defined in Data.Colour.Internal Methods mempty :: Colour a # mappend :: Colour a -> Colour a -> Colour a # mconcat :: [Colour a] -> Colour a #
Geodesic (Colour ℝ) Source #
Instance details Defined in Data.Colour.Manifold Methods geodesicBetween :: Colour ℝ -> Colour ℝ -> Maybe (D¹ -> Colour ℝ) # geodesicWitness :: GeodesicWitness (Colour ℝ) # middleBetween :: Colour ℝ -> Colour ℝ -> Maybe (Colour ℝ) #
Atlas (Colour ℝ) Source #
Instance details Defined in Data.Colour.Manifold Associated Types type ChartIndex (Colour ℝ) :: Type # Methods chartReferencePoint :: ChartIndex (Colour ℝ) -> Colour ℝ # interiorChartReferencePoint :: Functor p => p (Colour ℝ) -> ChartIndex (Colour ℝ) -> Interior (Colour ℝ) # lookupAtlas :: Colour ℝ -> ChartIndex (Colour ℝ) #
PseudoAffine (Colour ℝ) Source #
Instance details Defined in Data.Colour.Manifold Methods (.-~.) :: Colour ℝ -> Colour ℝ -> Maybe (Needle (Colour ℝ)) # (.-~!) :: Colour ℝ -> Colour ℝ -> Needle (Colour ℝ) # pseudoAffineWitness :: PseudoAffineWitness (Colour ℝ) #
Semimanifold (Colour ℝ) Source #
Instance details Defined in Data.Colour.Manifold Associated Types type Needle (Colour ℝ) :: Type # type Interior (Colour ℝ) :: Type # Methods (.+~^) :: Interior (Colour ℝ) -> Needle (Colour ℝ) -> Colour ℝ # fromInterior :: Interior (Colour ℝ) -> Colour ℝ # toInterior :: Colour ℝ -> Maybe (Interior (Colour ℝ)) # translateP :: Tagged (Colour ℝ) (Interior (Colour ℝ) -> Needle (Colour ℝ) -> Interior (Colour ℝ)) # (.-~^) :: Interior (Colour ℝ) -> Needle (Colour ℝ) -> Colour ℝ # semimanifoldWitness :: SemimanifoldWitness (Colour ℝ) #
type ChartIndex (Colour ℝ) Source #
Instance details Defined in Data.Colour.Manifold type ChartIndex (Colour ℝ) = ()
type Needle (Colour ℝ) Source #
Instance details Defined in Data.Colour.Manifold type Needle (Colour ℝ)
type Interior (Colour ℝ) Source #
Instance details Defined in Data.Colour.Manifold type Interior (Colour ℝ)

class QuantisedColour c where Source #

Methods

quantiseColour :: Colour ℝ -> c Source #

Instances

QuantisedColour PixelRGB8 Source #
Instance details Defined in Data.Colour.Manifold Methods quantiseColour :: Colour ℝ -> PixelRGB8 Source #
QuantisedColour PixelRGBF Source #
Instance details Defined in Data.Colour.Manifold Methods quantiseColour :: Colour ℝ -> PixelRGBF Source #

2D/1D projected colour space

data ColourMap x Source #

A two-dimensional, smoothly varying colour palette.

planarColourMap :: ColourPlane -> ColourMap x Source #

colourCurve :: ColourPlane -> ℝ -> ColourMap ℝ Source #

colourMapPlane :: Traversal' (ColourMap x) ColourPlane Source #

spectralSwing :: Needle x ~ ℝ => Traversal' (ColourMap x) ℝ Source #

data ColourPlane Source #

cpCold :: Lens' ColourPlane (Colour ℝ) Source #

cpNeutral :: Lens' ColourPlane (Interior (Colour ℝ)) Source #

cpHot :: Lens' ColourPlane (Colour ℝ) Source #

spanColourPlane Source #

Arguments

:: Interior (Colour ℝ)	Neutral colour
-> (Colour ℝ, Colour ℝ)	Extreme “cold” / “hot” colours
-> ColourPlane

Mapping data to colours

class Geodesic x => ColourMappable x where Source #

Associated Types

type ColourMapped x :: * Source #

type MappingVertex x :: * Source #

Methods

mapToColourWith :: HasCallStack => ColourMap (MappingVertex x) -> Interior (MappingVertex x) -> (MappingVertex x, MappingVertex x) -> x -> ColourMapped x Source #

Instances

ColourMappable ℝ² Source #
Instance details Defined in Data.Colour.Manifold Associated Types type ColourMapped ℝ² :: Type Source # type MappingVertex ℝ² :: Type Source # Methods mapToColourWith :: ColourMap (MappingVertex ℝ²) -> Interior (MappingVertex ℝ²) -> (MappingVertex ℝ², MappingVertex ℝ²) -> ℝ² -> ColourMapped ℝ² Source #
ColourMappable ℝ Source #
Instance details Defined in Data.Colour.Manifold Associated Types type ColourMapped ℝ :: Type Source # type MappingVertex ℝ :: Type Source # Methods mapToColourWith :: ColourMap (MappingVertex ℝ) -> Interior (MappingVertex ℝ) -> (MappingVertex ℝ, MappingVertex ℝ) -> ℝ -> ColourMapped ℝ Source #
ColourMappable (ℝ, ℝ) Source #
Instance details Defined in Data.Colour.Manifold Associated Types type ColourMapped (ℝ, ℝ) :: Type Source # type MappingVertex (ℝ, ℝ) :: Type Source # Methods mapToColourWith :: ColourMap (MappingVertex (ℝ, ℝ)) -> Interior (MappingVertex (ℝ, ℝ)) -> (MappingVertex (ℝ, ℝ), MappingVertex (ℝ, ℝ)) -> (ℝ, ℝ) -> ColourMapped (ℝ, ℝ) Source #

Predefined colour maps

type SimpleColourMap = forall x. HasSimpleColourMaps x => ColourMap x Source #

blackBlueYellowRed :: SimpleColourMap Source #

brightVsRed :: SimpleColourMap Source #

redVsBlue :: SimpleColourMap Source #

Orphan instances

Geodesic (Colour ℝ) Source #
Instance details Methods geodesicBetween :: Colour ℝ -> Colour ℝ -> Maybe (D¹ -> Colour ℝ) # geodesicWitness :: GeodesicWitness (Colour ℝ) # middleBetween :: Colour ℝ -> Colour ℝ -> Maybe (Colour ℝ) #
Atlas (Colour ℝ) Source #
Instance details Associated Types type ChartIndex (Colour ℝ) :: Type # Methods chartReferencePoint :: ChartIndex (Colour ℝ) -> Colour ℝ # interiorChartReferencePoint :: Functor p => p (Colour ℝ) -> ChartIndex (Colour ℝ) -> Interior (Colour ℝ) # lookupAtlas :: Colour ℝ -> ChartIndex (Colour ℝ) #
PseudoAffine (Colour ℝ) Source #
Instance details Methods (.-~.) :: Colour ℝ -> Colour ℝ -> Maybe (Needle (Colour ℝ)) # (.-~!) :: Colour ℝ -> Colour ℝ -> Needle (Colour ℝ) # pseudoAffineWitness :: PseudoAffineWitness (Colour ℝ) #
Semimanifold (Colour ℝ) Source #
Instance details Associated Types type Needle (Colour ℝ) :: Type # type Interior (Colour ℝ) :: Type # Methods (.+~^) :: Interior (Colour ℝ) -> Needle (Colour ℝ) -> Colour ℝ # fromInterior :: Interior (Colour ℝ) -> Colour ℝ # toInterior :: Colour ℝ -> Maybe (Interior (Colour ℝ)) # translateP :: Tagged (Colour ℝ) (Interior (Colour ℝ) -> Needle (Colour ℝ) -> Interior (Colour ℝ)) # (.-~^) :: Interior (Colour ℝ) -> Needle (Colour ℝ) -> Colour ℝ # semimanifoldWitness :: SemimanifoldWitness (Colour ℝ) #