Copyright	(c) Andreas Ländle 2024-2025
License	BSD-3
Stability	experimental
Safe Haskell	None
Language	Haskell2010

WLED.Types

Description

Types representing states and state changes of a WLED device.

Synopsis

data State t (f :: Type -> Type) (f' :: Type -> Type) = State {
- stateOn :: Wear t f Bool
- stateBri :: Wear t f Int
- stateTransition :: Wear t f Int
- statePs :: Wear t f Int
- statePl :: Wear t f Int
- stateNl :: Wear t f (Nightlight t f')
- stateLor :: Wear t f Int
- stateMainseg :: Wear t f Int
- stateSeg :: Wear t f [Segment t f']
}
data Nightlight t (f :: Type -> Type) = Nightlight {
- nightlightOn :: Wear t f Bool
- nightlightDur :: Wear t f Int
- nightlightMode :: Wear t f Int
- nightlightTbri :: Wear t f Int
- nightlightRem :: Wear t f Int
}
data Segment t (f :: Type -> Type) = Segment {
- segmentId :: Wear t f Int
- segmentStart :: Wear t f Int
- segmentStop :: Wear t f Int
- segmentLen :: Wear t f Int
- segmentGrp :: Wear t f Int
- segmentSpc :: Wear t f Int
- segmentOf :: Wear t f Int
- segmentOn :: Wear t f Bool
- segmentFrz :: Wear t f Bool
- segmentBri :: Wear t f Int
- segmentCct :: Wear t f Int
- segmentSet :: Wear t f Int
- segmentCol :: Wear t f [[Int]]
- segmentFx :: Wear t f Int
- segmentSx :: Wear t f Int
- segmentIx :: Wear t f Int
- segmentPal :: Wear t f Int
- segmentC1 :: Wear t f Int
- segmentC2 :: Wear t f Int
- segmentC3 :: Wear t f Int
- segmentSel :: Wear t f Bool
- segmentRev :: Wear t f Bool
- segmentMi :: Wear t f Bool
- segmentO1 :: Wear t f Bool
- segmentO2 :: Wear t f Bool
- segmentO3 :: Wear t f Bool
- segmentSi :: Wear t f Int
- segmentM12 :: Wear t f Int
}
type StateComplete = State Bare Identity Identity
type StatePatch = State Covered Maybe Maybe
type NightlightComplete = Nightlight Bare Identity
type NightlightPatch = Nightlight Covered Maybe
type SegmentComplete = Segment Bare Identity
type SegmentPatch = Segment Covered Maybe
append :: StateComplete -> StatePatch -> StateComplete
diff :: StateComplete -> StateComplete -> StatePatch
segment :: Int -> Int -> [Int] -> SegmentPatch

Documentation

data State t (f :: Type -> Type) (f' :: Type -> Type) Source #

State data type.

Constructors

State
Fields stateOn :: Wear t f Bool stateBri :: Wear t f Int stateTransition :: Wear t f Int statePs :: Wear t f Int statePl :: Wear t f Int stateNl :: Wear t f (Nightlight t f') stateLor :: Wear t f Int stateMainseg :: Wear t f Int stateSeg :: Wear t f [Segment t f']

Instances

Instances details

Monoid StatePatch Source #

Instance details

Defined in WLED.Types

Methods

mempty :: StatePatch #

mappend :: StatePatch -> StatePatch -> StatePatch #

mconcat :: [StatePatch] -> StatePatch #

Semigroup StatePatch Source #

Instance details

Defined in WLED.Types

Methods

(<>) :: StatePatch -> StatePatch -> StatePatch #

sconcat :: NonEmpty StatePatch -> StatePatch #

stimes :: Integral b => b -> StatePatch -> StatePatch #

FunctorB (State Bare f :: (Type -> Type) -> Type) Source #

Instance details

Defined in WLED.Types

Methods

bmap :: (forall a. f0 a -> g a) -> State Bare f f0 -> State Bare f g #

Functor f => FunctorB (State Covered f :: (Type -> Type) -> Type) Source #

Instance details

Defined in WLED.Types

Methods

bmap :: (forall a. f0 a -> g a) -> State Covered f f0 -> State Covered f g #

ApplicativeT (State Covered) Source #

Instance details

Defined in WLED.Types

Methods

tpure :: forall f (x :: Type -> Type). (forall a. f a) -> State Covered f x #

tprod :: forall (f :: Type -> Type) (x :: Type -> Type) (g :: Type -> Type). State Covered f x -> State Covered g x -> State Covered (Product f g) x #

FunctorT (State Covered) Source #

Instance details

Defined in WLED.Types

Methods

tmap :: forall f g (x :: Type -> Type). (forall a. f a -> g a) -> State Covered f x -> State Covered g x #

FromJSON (State Bare f f') Source #

Instance details

Defined in WLED.Types

Methods

parseJSON :: Value -> Parser (State Bare f f') #

parseJSONList :: Value -> Parser [State Bare f f'] #

omittedField :: Maybe (State Bare f f') #

(FromJSON (f Bool), FromJSON (f Int), FromJSON (f (Nightlight Covered f')), FromJSON (f [Segment Covered f'])) => FromJSON (State Covered f f') Source #

Instance details

Defined in WLED.Types

Methods

parseJSON :: Value -> Parser (State Covered f f') #

parseJSONList :: Value -> Parser [State Covered f f'] #

omittedField :: Maybe (State Covered f f') #

ToJSON (State Bare f f') Source #

Instance details

Defined in WLED.Types

Methods

toJSON :: State Bare f f' -> Value #

toEncoding :: State Bare f f' -> Encoding #

toJSONList :: [State Bare f f'] -> Value #

toEncodingList :: [State Bare f f'] -> Encoding #

omitField :: State Bare f f' -> Bool #

(ToJSON (f Bool), ToJSON (f Int), ToJSON (f (Nightlight Covered f')), ToJSON (f [Segment Covered f'])) => ToJSON (State Covered f f') Source #

Instance details

Defined in WLED.Types

Methods

toJSON :: State Covered f f' -> Value #

toEncoding :: State Covered f f' -> Encoding #

toJSONList :: [State Covered f f'] -> Value #

toEncodingList :: [State Covered f f'] -> Encoding #

omitField :: State Covered f f' -> Bool #

Generic (State t f f') Source #

Instance details

Defined in WLED.Types

Associated Types

type Rep (State t f f')

Instance details

Defined in WLED.Types

Methods

from :: State t f f' -> Rep (State t f f') x #

to :: Rep (State t f f') x -> State t f f' #

Show (State Bare f f') Source #

Instance details

Defined in WLED.Types

Methods

showsPrec :: Int -> State Bare f f' -> ShowS #

show :: State Bare f f' -> String #

showList :: [State Bare f f'] -> ShowS #

(Show (f Bool), Show (f Int), Show (f (Nightlight Covered f')), Show (f [Segment Covered f'])) => Show (State Covered f f') Source #

Instance details

Defined in WLED.Types

Methods

showsPrec :: Int -> State Covered f f' -> ShowS #

show :: State Covered f f' -> String #

showList :: [State Covered f f'] -> ShowS #

Eq (State Bare f f') Source #

Instance details

Defined in WLED.Types

Methods

(==) :: State Bare f f' -> State Bare f f' -> Bool #

(/=) :: State Bare f f' -> State Bare f f' -> Bool #

(Eq (f Bool), Eq (f Int), Eq (f (Nightlight Covered f')), Eq (f [Segment Covered f'])) => Eq (State Covered f f') Source #

Instance details

Defined in WLED.Types

Methods

(==) :: State Covered f f' -> State Covered f f' -> Bool #

(/=) :: State Covered f f' -> State Covered f f' -> Bool #

type Rep (State t f f') Source #

Instance details

Defined in WLED.Types

data Nightlight t (f :: Type -> Type) Source #

Nightlight data type.

Constructors

Nightlight
Fields nightlightOn :: Wear t f Bool nightlightDur :: Wear t f Int nightlightMode :: Wear t f Int nightlightTbri :: Wear t f Int nightlightRem :: Wear t f Int

Instances

Instances details

BareB Nightlight Source #

Instance details

Defined in WLED.Types

Methods

bstrip :: Nightlight Covered Identity -> Nightlight Bare Identity #

bcover :: Nightlight Bare Identity -> Nightlight Covered Identity #

ApplicativeB (Nightlight Covered) Source #

Instance details

Defined in WLED.Types

Methods

bpure :: (forall a. f a) -> Nightlight Covered f #

bprod :: forall (f :: Type -> Type) (g :: Type -> Type). Nightlight Covered f -> Nightlight Covered g -> Nightlight Covered (Product f g) #

ConstraintsB (Nightlight Bare) Source #

Instance details

Defined in WLED.Types

Associated Types

type AllB (c :: Type -> Constraint) (Nightlight Bare)
Instance details Defined in WLED.Types type AllB (c :: Type -> Constraint) (Nightlight Bare) = GAll 0 c (GAllRepB (Nightlight Bare))

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (Nightlight Bare) => Nightlight Bare f -> Nightlight Bare (Product (Dict c) f) #

ConstraintsB (Nightlight Covered) Source #

Instance details

Defined in WLED.Types

Associated Types

type AllB (c :: Type -> Constraint) (Nightlight Covered)
Instance details Defined in WLED.Types type AllB (c :: Type -> Constraint) (Nightlight Covered) = GAll 0 c (GAllRepB (Nightlight Covered))

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (Nightlight Covered) => Nightlight Covered f -> Nightlight Covered (Product (Dict c) f) #

FunctorB (Nightlight Bare) Source #

Instance details

Defined in WLED.Types

Methods

bmap :: (forall a. f a -> g a) -> Nightlight Bare f -> Nightlight Bare g #

FunctorB (Nightlight Covered) Source #

Instance details

Defined in WLED.Types

Methods

bmap :: (forall a. f a -> g a) -> Nightlight Covered f -> Nightlight Covered g #

AllBF FromJSON f (Nightlight Bare) => FromJSON (Nightlight Bare f) Source #

Instance details

Defined in WLED.Types

Methods

parseJSON :: Value -> Parser (Nightlight Bare f) #

parseJSONList :: Value -> Parser [Nightlight Bare f] #

omittedField :: Maybe (Nightlight Bare f) #

AllBF FromJSON f (Nightlight Covered) => FromJSON (Nightlight Covered f) Source #

Instance details

Defined in WLED.Types

Methods

parseJSON :: Value -> Parser (Nightlight Covered f) #

parseJSONList :: Value -> Parser [Nightlight Covered f] #

omittedField :: Maybe (Nightlight Covered f) #

AllBF ToJSON f (Nightlight Bare) => ToJSON (Nightlight Bare f) Source #

Instance details

Defined in WLED.Types

Methods

toJSON :: Nightlight Bare f -> Value #

toEncoding :: Nightlight Bare f -> Encoding #

toJSONList :: [Nightlight Bare f] -> Value #

toEncodingList :: [Nightlight Bare f] -> Encoding #

omitField :: Nightlight Bare f -> Bool #

AllBF ToJSON f (Nightlight Covered) => ToJSON (Nightlight Covered f) Source #

Instance details

Defined in WLED.Types

Methods

toJSON :: Nightlight Covered f -> Value #

toEncoding :: Nightlight Covered f -> Encoding #

toJSONList :: [Nightlight Covered f] -> Value #

toEncodingList :: [Nightlight Covered f] -> Encoding #

omitField :: Nightlight Covered f -> Bool #

Alternative f => Monoid (Nightlight Covered f) Source #

Instance details

Defined in WLED.Types

Methods

mempty :: Nightlight Covered f #

mappend :: Nightlight Covered f -> Nightlight Covered f -> Nightlight Covered f #

mconcat :: [Nightlight Covered f] -> Nightlight Covered f #

Alternative f => Semigroup (Nightlight Covered f) Source #

Instance details

Defined in WLED.Types

Methods

(<>) :: Nightlight Covered f -> Nightlight Covered f -> Nightlight Covered f #

sconcat :: NonEmpty (Nightlight Covered f) -> Nightlight Covered f #

stimes :: Integral b => b -> Nightlight Covered f -> Nightlight Covered f #

Generic (Nightlight t f) Source #

Instance details

Defined in WLED.Types

Associated Types

type Rep (Nightlight t f)

Instance details

Defined in WLED.Types

type Rep (Nightlight t f) = D1 ('MetaData "Nightlight" "WLED.Types" "wled-json-0.0.1.1-IoFmzPfwYUiCn5UEssZdtN" 'False) (C1 ('MetaCons "Nightlight" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nightlightOn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool)) :*: S1 ('MetaSel ('Just "nightlightDur") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int))) :*: (S1 ('MetaSel ('Just "nightlightMode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: (S1 ('MetaSel ('Just "nightlightTbri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "nightlightRem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int))))))

Methods

from :: Nightlight t f -> Rep (Nightlight t f) x #

to :: Rep (Nightlight t f) x -> Nightlight t f #

AllBF Show f (Nightlight Bare) => Show (Nightlight Bare f) Source #

Instance details

Defined in WLED.Types

Methods

showsPrec :: Int -> Nightlight Bare f -> ShowS #

show :: Nightlight Bare f -> String #

showList :: [Nightlight Bare f] -> ShowS #

AllBF Show f (Nightlight Covered) => Show (Nightlight Covered f) Source #

Instance details

Defined in WLED.Types

Methods

showsPrec :: Int -> Nightlight Covered f -> ShowS #

show :: Nightlight Covered f -> String #

showList :: [Nightlight Covered f] -> ShowS #

AllBF Eq f (Nightlight Bare) => Eq (Nightlight Bare f) Source #

Instance details

Defined in WLED.Types

Methods

(==) :: Nightlight Bare f -> Nightlight Bare f -> Bool #

(/=) :: Nightlight Bare f -> Nightlight Bare f -> Bool #

AllBF Eq f (Nightlight Covered) => Eq (Nightlight Covered f) Source #

Instance details

Defined in WLED.Types

Methods

(==) :: Nightlight Covered f -> Nightlight Covered f -> Bool #

(/=) :: Nightlight Covered f -> Nightlight Covered f -> Bool #

type AllB (c :: Type -> Constraint) (Nightlight Bare) Source #

Instance details

Defined in WLED.Types

type AllB (c :: Type -> Constraint) (Nightlight Bare) = GAll 0 c (GAllRepB (Nightlight Bare))

type AllB (c :: Type -> Constraint) (Nightlight Covered) Source #

Instance details

Defined in WLED.Types

type AllB (c :: Type -> Constraint) (Nightlight Covered) = GAll 0 c (GAllRepB (Nightlight Covered))

type Rep (Nightlight t f) Source #

Instance details

Defined in WLED.Types

type Rep (Nightlight t f) = D1 ('MetaData "Nightlight" "WLED.Types" "wled-json-0.0.1.1-IoFmzPfwYUiCn5UEssZdtN" 'False) (C1 ('MetaCons "Nightlight" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nightlightOn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool)) :*: S1 ('MetaSel ('Just "nightlightDur") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int))) :*: (S1 ('MetaSel ('Just "nightlightMode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: (S1 ('MetaSel ('Just "nightlightTbri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "nightlightRem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int))))))

data Segment t (f :: Type -> Type) Source #

Segment data type.

Constructors

Segment

Fields

Instances

Instances details

BareB Segment Source #

Instance details

Defined in WLED.Types

Methods

bstrip :: Segment Covered Identity -> Segment Bare Identity #

bcover :: Segment Bare Identity -> Segment Covered Identity #

ApplicativeB (Segment Covered) Source #

Instance details

Defined in WLED.Types

Methods

bpure :: (forall a. f a) -> Segment Covered f #

bprod :: forall (f :: Type -> Type) (g :: Type -> Type). Segment Covered f -> Segment Covered g -> Segment Covered (Product f g) #

ConstraintsB (Segment Bare) Source #

Instance details

Defined in WLED.Types

Associated Types

type AllB (c :: Type -> Constraint) (Segment Bare)
Instance details Defined in WLED.Types type AllB (c :: Type -> Constraint) (Segment Bare) = GAll 0 c (GAllRepB (Segment Bare))

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (Segment Bare) => Segment Bare f -> Segment Bare (Product (Dict c) f) #

ConstraintsB (Segment Covered) Source #

Instance details

Defined in WLED.Types

Associated Types

type AllB (c :: Type -> Constraint) (Segment Covered)
Instance details Defined in WLED.Types type AllB (c :: Type -> Constraint) (Segment Covered) = GAll 0 c (GAllRepB (Segment Covered))