Bludigon.Gamma.Linear

Documentation

data GammaLinearT m a

Instances

MonadTrans GammaLinearT

Defined in Bludigon.Gamma.Linear

Methods

lift :: Monad m => m a -> GammaLinearT m a

MonadTransControl GammaLinearT

Defined in Bludigon.Gamma.Linear

Associated Types

type StT GammaLinearT a

Methods

liftWith :: Monad m => (Run GammaLinearT -> m a) -> GammaLinearT m a

restoreT :: Monad m => m (StT GammaLinearT a) -> GammaLinearT m a

MonadBase b m => MonadBase b (GammaLinearT m)

Defined in Bludigon.Gamma.Linear

Methods

liftBase :: b α -> GammaLinearT m α

MonadBaseControl b m => MonadBaseControl b (GammaLinearT m)

Defined in Bludigon.Gamma.Linear

Associated Types

type StM (GammaLinearT m) a

Methods

liftBaseWith :: (RunInBase (GammaLinearT m) b -> b a) -> GammaLinearT m a

restoreM :: StM (GammaLinearT m) a -> GammaLinearT m a

MonadReader r m => MonadReader r (GammaLinearT m)

Defined in Bludigon.Gamma.Linear

Methods

ask :: GammaLinearT m r

local :: (r -> r) -> GammaLinearT m a -> GammaLinearT m a

reader :: (r -> a) -> GammaLinearT m a

Monad m => Monad (GammaLinearT m)

Defined in Bludigon.Gamma.Linear

Methods

(>>=) :: GammaLinearT m a -> (a -> GammaLinearT m b) -> GammaLinearT m b

(>>) :: GammaLinearT m a -> GammaLinearT m b -> GammaLinearT m b

return :: a -> GammaLinearT m a

Functor m => Functor (GammaLinearT m)

Defined in Bludigon.Gamma.Linear

Methods

fmap :: (a -> b) -> GammaLinearT m a -> GammaLinearT m b

(<$) :: a -> GammaLinearT m b -> GammaLinearT m a

Applicative m => Applicative (GammaLinearT m)

Defined in Bludigon.Gamma.Linear

Methods

pure :: a -> GammaLinearT m a

(<*>) :: GammaLinearT m (a -> b) -> GammaLinearT m a -> GammaLinearT m b

liftA2 :: (a -> b -> c) -> GammaLinearT m a -> GammaLinearT m b -> GammaLinearT m c

(*>) :: GammaLinearT m a -> GammaLinearT m b -> GammaLinearT m b

(<*) :: GammaLinearT m a -> GammaLinearT m b -> GammaLinearT m a

MonadBase IO m => MonadGamma (GammaLinearT m)

Defined in Bludigon.Gamma.Linear

Methods

gamma :: GammaLinearT m Trichromaticity

type StT GammaLinearT a

Defined in Bludigon.Gamma.Linear

type StT GammaLinearT a = StT (ReaderT (Map TimeOfDay Trichromaticity)) a

type StM (GammaLinearT m) a

Defined in Bludigon.Gamma.Linear

type StM (GammaLinearT m) a = StM (ReaderT (Map TimeOfDay Trichromaticity) m) a

runGammaLinearT :: NonEmpty (TimeOfDay, Trichromaticity) -> GammaLinearT m a -> m a

data Time

Constructors

Hour :. Minute infix 7

Instances

Bounded Time

Defined in Bludigon.Gamma.Linear

Methods

minBound :: Time

maxBound :: Time

Enum Time

Defined in Bludigon.Gamma.Linear

Methods

succ :: Time -> Time

pred :: Time -> Time

toEnum :: Int -> Time

fromEnum :: Time -> Int

enumFrom :: Time -> [Time]

enumFromThen :: Time -> Time -> [Time]

enumFromTo :: Time -> Time -> [Time]

enumFromThenTo :: Time -> Time -> Time -> [Time]

Eq Time

Defined in Bludigon.Gamma.Linear

Methods

(==) :: Time -> Time -> Bool

(/=) :: Time -> Time -> Bool

Ord Time

Defined in Bludigon.Gamma.Linear

Methods

compare :: Time -> Time -> Ordering

(<) :: Time -> Time -> Bool

(<=) :: Time -> Time -> Bool

(>) :: Time -> Time -> Bool

(>=) :: Time -> Time -> Bool

max :: Time -> Time -> Time

min :: Time -> Time -> Time

Read Time

Defined in Bludigon.Gamma.Linear

Methods

readsPrec :: Int -> ReadS Time

readList :: ReadS [Time]

readPrec :: ReadPrec Time

readListPrec :: ReadPrec [Time]

Show Time

Defined in Bludigon.Gamma.Linear

Methods

showsPrec :: Int -> Time -> ShowS

show :: Time -> String

showList :: [Time] -> ShowS

Generic Time

Defined in Bludigon.Gamma.Linear

Associated Types

type Rep Time :: Type -> Type

Methods

from :: Time -> Rep Time x

to :: Rep Time x -> Time

NFData Time

Defined in Bludigon.Gamma.Linear

Methods

rnf :: Time -> ()

type Rep Time

Defined in Bludigon.Gamma.Linear

type Rep Time = D1 ('MetaData "Time" "Bludigon.Gamma.Linear" "bludigon-0.1.1.0-inplace" 'False) (C1 ('MetaCons ":." ('InfixI 'NotAssociative 7) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hour) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Minute)))

data Hour

Instances

Bounded Hour

Defined in Bludigon.Gamma.Linear

Methods

minBound :: Hour

maxBound :: Hour

Enum Hour

Defined in Bludigon.Gamma.Linear

Methods

succ :: Hour -> Hour

pred :: Hour -> Hour

toEnum :: Int -> Hour

fromEnum :: Hour -> Int

enumFrom :: Hour -> [Hour]

enumFromThen :: Hour -> Hour -> [Hour]

enumFromTo :: Hour -> Hour -> [Hour]

enumFromThenTo :: Hour -> Hour -> Hour -> [Hour]

Eq Hour

Defined in Bludigon.Gamma.Linear

Methods

(==) :: Hour -> Hour -> Bool

(/=) :: Hour -> Hour -> Bool

Integral Hour

Defined in Bludigon.Gamma.Linear

Methods

quot :: Hour -> Hour -> Hour

rem :: Hour -> Hour -> Hour

div :: Hour -> Hour -> Hour

mod :: Hour -> Hour -> Hour

quotRem :: Hour -> Hour -> (Hour, Hour)

divMod :: Hour -> Hour -> (Hour, Hour)

toInteger :: Hour -> Integer

Num Hour

Defined in Bludigon.Gamma.Linear

Methods

(+) :: Hour -> Hour -> Hour

(-) :: Hour -> Hour -> Hour

(*) :: Hour -> Hour -> Hour

negate :: Hour -> Hour

abs :: Hour -> Hour

signum :: Hour -> Hour

fromInteger :: Integer -> Hour

Ord Hour

Defined in Bludigon.Gamma.Linear

Methods

compare :: Hour -> Hour -> Ordering

(<) :: Hour -> Hour -> Bool

(<=) :: Hour -> Hour -> Bool

(>) :: Hour -> Hour -> Bool

(>=) :: Hour -> Hour -> Bool

max :: Hour -> Hour -> Hour

min :: Hour -> Hour -> Hour

Read Hour

Defined in Bludigon.Gamma.Linear

Methods

readsPrec :: Int -> ReadS Hour

readList :: ReadS [Hour]

readPrec :: ReadPrec Hour

readListPrec :: ReadPrec [Hour]

Real Hour

Defined in Bludigon.Gamma.Linear

Methods

toRational :: Hour -> Rational

Show Hour

Defined in Bludigon.Gamma.Linear

Methods

showsPrec :: Int -> Hour -> ShowS

show :: Hour -> String

showList :: [Hour] -> ShowS

Generic Hour

Defined in Bludigon.Gamma.Linear

Associated Types

type Rep Hour :: Type -> Type

Methods

from :: Hour -> Rep Hour x

to :: Rep Hour x -> Hour

NFData Hour

Defined in Bludigon.Gamma.Linear

Methods

rnf :: Hour -> ()

type Rep Hour

Defined in Bludigon.Gamma.Linear

type Rep Hour = D1 ('MetaData "Hour" "Bludigon.Gamma.Linear" "bludigon-0.1.1.0-inplace" 'True) (C1 ('MetaCons "Hour" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHour") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Finite 24))))

data Minute

Instances

Bounded Minute

Defined in Bludigon.Gamma.Linear

Methods

minBound :: Minute

maxBound :: Minute

Enum Minute

Defined in Bludigon.Gamma.Linear

Methods

succ :: Minute -> Minute

pred :: Minute -> Minute

toEnum :: Int -> Minute

fromEnum :: Minute -> Int

enumFrom :: Minute -> [Minute]

enumFromThen :: Minute -> Minute -> [Minute]

enumFromTo :: Minute -> Minute -> [Minute]

enumFromThenTo :: Minute -> Minute -> Minute -> [Minute]

Eq Minute

Defined in Bludigon.Gamma.Linear

Methods

(==) :: Minute -> Minute -> Bool

(/=) :: Minute -> Minute -> Bool

Integral Minute

Defined in Bludigon.Gamma.Linear

Methods

quot :: Minute -> Minute -> Minute

rem :: Minute -> Minute -> Minute

div :: Minute -> Minute -> Minute

mod :: Minute -> Minute -> Minute

quotRem :: Minute -> Minute -> (Minute, Minute)

divMod :: Minute -> Minute -> (Minute, Minute)

toInteger :: Minute -> Integer

Num Minute

Defined in Bludigon.Gamma.Linear

Methods

(+) :: Minute -> Minute -> Minute

(-) :: Minute -> Minute -> Minute

(*) :: Minute -> Minute -> Minute

negate :: Minute -> Minute

abs :: Minute -> Minute

signum :: Minute -> Minute

fromInteger :: Integer -> Minute

Ord Minute

Defined in Bludigon.Gamma.Linear

Methods

compare :: Minute -> Minute -> Ordering

(<) :: Minute -> Minute -> Bool

(<=) :: Minute -> Minute -> Bool

(>) :: Minute -> Minute -> Bool

(>=) :: Minute -> Minute -> Bool

max :: Minute -> Minute -> Minute

min :: Minute -> Minute -> Minute

Read Minute

Defined in Bludigon.Gamma.Linear

Methods

readsPrec :: Int -> ReadS Minute

readList :: ReadS [Minute]

readPrec :: ReadPrec Minute

readListPrec :: ReadPrec [Minute]

Real Minute

Defined in Bludigon.Gamma.Linear

Methods

toRational :: Minute -> Rational

Show Minute

Defined in Bludigon.Gamma.Linear

Methods

showsPrec :: Int -> Minute -> ShowS

show :: Minute -> String

showList :: [Minute] -> ShowS

Generic Minute

Defined in Bludigon.Gamma.Linear

Associated Types

type Rep Minute :: Type -> Type

Methods

from :: Minute -> Rep Minute x

to :: Rep Minute x -> Minute

NFData Minute

Defined in Bludigon.Gamma.Linear

Methods

rnf :: Minute -> ()

type Rep Minute

Defined in Bludigon.Gamma.Linear

type Rep Minute = D1 ('MetaData "Minute" "Bludigon.Gamma.Linear" "bludigon-0.1.1.0-inplace" 'True) (C1 ('MetaCons "Minute" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMinute") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Finite 60))))

(==>) :: Time -> Trichromaticity -> (TimeOfDay, Trichromaticity) infix 6

data NonEmpty a

Non-empty (and non-strict) list type.

Since: base-4.9.0.0

Constructors

a :| [a] infixr 5

Instances

Monad NonEmpty

Since: base-4.9.0.0

Defined in GHC.Base

Methods

(>>=) :: NonEmpty a -> (a -> NonEmpty b) -> NonEmpty b

(>>) :: NonEmpty a -> NonEmpty b -> NonEmpty b

return :: a -> NonEmpty a

Functor NonEmpty

Since: base-4.9.0.0

Defined in GHC.Base

Methods

fmap :: (a -> b) -> NonEmpty a -> NonEmpty b

(<$) :: a -> NonEmpty b -> NonEmpty a

MonadFix NonEmpty

Since: base-4.9.0.0

Defined in Control.Monad.Fix

Methods

mfix :: (a -> NonEmpty a) -> NonEmpty a

Applicative NonEmpty

Since: base-4.9.0.0

Defined in GHC.Base

Methods

pure :: a -> NonEmpty a

(<*>) :: NonEmpty (a -> b) -> NonEmpty a -> NonEmpty b

liftA2 :: (a -> b -> c) -> NonEmpty a -> NonEmpty b -> NonEmpty c

(*>) :: NonEmpty a -> NonEmpty b -> NonEmpty b

(<*) :: NonEmpty a -> NonEmpty b -> NonEmpty a

Foldable NonEmpty

Since: base-4.9.0.0

Defined in Data.Foldable

Methods

fold :: Monoid m => NonEmpty m -> m

foldMap :: Monoid m => (a -> m) -> NonEmpty a -> m

foldMap' :: Monoid m => (a -> m) -> NonEmpty a -> m

foldr :: (a -> b -> b) -> b -> NonEmpty a -> b

foldr' :: (a -> b -> b) -> b -> NonEmpty a -> b

foldl :: (b -> a -> b) -> b -> NonEmpty a -> b

foldl' :: (b -> a -> b) -> b -> NonEmpty a -> b

foldr1 :: (a -> a -> a) -> NonEmpty a -> a

foldl1 :: (a -> a -> a) -> NonEmpty a -> a

toList :: NonEmpty a -> [a]

null :: NonEmpty a -> Bool

length :: NonEmpty a -> Int

elem :: Eq a => a -> NonEmpty a -> Bool

maximum :: Ord a => NonEmpty a -> a

minimum :: Ord a => NonEmpty a -> a

sum :: Num a => NonEmpty a -> a

product :: Num a => NonEmpty a -> a

Traversable NonEmpty

Since: base-4.9.0.0

Defined in Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> NonEmpty a -> f (NonEmpty b)

sequenceA :: Applicative f => NonEmpty (f a) -> f (NonEmpty a)

mapM :: Monad m => (a -> m b) -> NonEmpty a -> m (NonEmpty b)

sequence :: Monad m => NonEmpty (m a) -> m (NonEmpty a)

Eq1 NonEmpty

Since: base-4.10.0.0

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> NonEmpty a -> NonEmpty b -> Bool

Ord1 NonEmpty

Since: base-4.10.0.0

Defined in Data.Functor.Classes

Methods

liftCompare :: (a -> b -> Ordering) -> NonEmpty a -> NonEmpty b -> Ordering

Read1 NonEmpty

Since: base-4.10.0.0

Defined in Data.Functor.Classes

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (NonEmpty a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [NonEmpty a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (NonEmpty a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [NonEmpty a]

Show1 NonEmpty

Since: base-4.10.0.0

Defined in Data.Functor.Classes

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> NonEmpty a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [NonEmpty a] -> ShowS

NFData1 NonEmpty

Since: deepseq-1.4.3.0

Defined in Control.DeepSeq

Methods

liftRnf :: (a -> ()) -> NonEmpty a -> ()

IsList (NonEmpty a)

Since: base-4.9.0.0

Defined in GHC.Exts

Associated Types

type Item (NonEmpty a)

Methods

fromList :: [Item (NonEmpty a)] -> NonEmpty a

fromListN :: Int -> [Item (NonEmpty a)] -> NonEmpty a

toList :: NonEmpty a -> [Item (NonEmpty a)]

Eq a => Eq (NonEmpty a)

Since: base-4.9.0.0

Defined in GHC.Base

Methods

(==) :: NonEmpty a -> NonEmpty a -> Bool

(/=) :: NonEmpty a -> NonEmpty a -> Bool

Ord a => Ord (NonEmpty a)

Since: base-4.9.0.0

Defined in GHC.Base

Methods

compare :: NonEmpty a -> NonEmpty a -> Ordering

(<) :: NonEmpty a -> NonEmpty a -> Bool

(<=) :: NonEmpty a -> NonEmpty a -> Bool

(>) :: NonEmpty a -> NonEmpty a -> Bool

(>=) :: NonEmpty a -> NonEmpty a -> Bool

max :: NonEmpty a -> NonEmpty a -> NonEmpty a

min :: NonEmpty a -> NonEmpty a -> NonEmpty a

Read a => Read (NonEmpty a)

Since: base-4.11.0.0

Defined in GHC.Read

Methods

readsPrec :: Int -> ReadS (NonEmpty a)

readList :: ReadS [NonEmpty a]

readPrec :: ReadPrec (NonEmpty a)

readListPrec :: ReadPrec [NonEmpty a]

Show a => Show (NonEmpty a)

Since: base-4.11.0.0

Defined in GHC.Show

Methods

showsPrec :: Int -> NonEmpty a -> ShowS

show :: NonEmpty a -> String

showList :: [NonEmpty a] -> ShowS

Generic (NonEmpty a)

Since: base-4.6.0.0

Defined in GHC.Generics

Associated Types

type Rep (NonEmpty a) :: Type -> Type

Methods

from :: NonEmpty a -> Rep (NonEmpty a) x

to :: Rep (NonEmpty a) x -> NonEmpty a

Semigroup (NonEmpty a)

Since: base-4.9.0.0

Defined in GHC.Base

Methods

(<>) :: NonEmpty a -> NonEmpty a -> NonEmpty a

sconcat :: NonEmpty (NonEmpty a) -> NonEmpty a

stimes :: Integral b => b -> NonEmpty a -> NonEmpty a

NFData a => NFData (NonEmpty a)

Since: deepseq-1.4.2.0

Defined in Control.DeepSeq

Methods

rnf :: NonEmpty a -> ()

Generic1 NonEmpty

Since: base-4.6.0.0

Defined in GHC.Generics

Associated Types

type Rep1 NonEmpty :: k -> Type

Methods

from1 :: forall (a :: k). NonEmpty a -> Rep1 NonEmpty a

to1 :: forall (a :: k). Rep1 NonEmpty a -> NonEmpty a

type Rep (NonEmpty a)

Defined in GHC.Generics

type Rep (NonEmpty a) = D1 ('MetaData "NonEmpty" "GHC.Base" "base" 'False) (C1 ('MetaCons ":|" ('InfixI 'LeftAssociative 9) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))

type Item (NonEmpty a)

Defined in GHC.Exts

type Item (NonEmpty a) = a

type Rep1 NonEmpty

Defined in GHC.Generics

type Rep1 NonEmpty = D1 ('MetaData "NonEmpty" "GHC.Base" "base" 'False) (C1 ('MetaCons ":|" ('InfixI 'LeftAssociative 9) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])))

calculateGamma :: Monad m => LocalTime -> GammaLinearT m Trichromaticity