WLED.Types

Types representing states and state changes of a WLED device.

Documentation

data State t f f'

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

Monoid StatePatch

Defined in WLED.Types

Methods

mempty :: StatePatch

mappend :: StatePatch -> StatePatch -> StatePatch

mconcat :: [StatePatch] -> StatePatch

Semigroup StatePatch

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)

Defined in WLED.Types

Methods

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

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

Defined in WLED.Types

Methods

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

ApplicativeT (State Covered)

Defined in WLED.Types

Methods

tpure :: forall f (x :: k'). (forall (a :: k). f a) -> State Covered f x

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

FunctorT (State Covered)

Defined in WLED.Types

Methods

tmap :: forall f g (x :: k'). (forall (a :: k). f a -> g a) -> State Covered f x -> State Covered g x

FromJSON (State Bare f f')

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')

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')

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')

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')

Defined in WLED.Types

Associated Types

type Rep (State t f f') :: Type -> Type

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')

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')

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')

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')

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')

Defined in WLED.Types

type Rep (State t f f') = D1 ('MetaData "State" "WLED.Types" "wled-json-0.0.1.0-G2WaICdQEyYARSm8URLPei" 'False) (C1 ('MetaCons "State" 'PrefixI 'True) (((S1 ('MetaSel ('Just "stateOn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool)) :*: S1 ('MetaSel ('Just "stateBri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int))) :*: (S1 ('MetaSel ('Just "stateTransition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "statePs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)))) :*: ((S1 ('MetaSel ('Just "statePl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "stateNl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f (Nightlight t f')))) :*: (S1 ('MetaSel ('Just "stateLor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: (S1 ('MetaSel ('Just "stateMainseg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "stateSeg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f [Segment t f'])))))))

data Nightlight t f

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

BareB Nightlight

Defined in WLED.Types

Methods

bstrip :: Nightlight Covered Identity -> Nightlight Bare Identity

bcover :: Nightlight Bare Identity -> Nightlight Covered Identity

ApplicativeB (Nightlight Covered)

Defined in WLED.Types

Methods

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

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

ConstraintsB (Nightlight Bare)

Defined in WLED.Types

Associated Types

type AllB c (Nightlight Bare)

Methods

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

ConstraintsB (Nightlight Covered)

Defined in WLED.Types

Associated Types

type AllB c (Nightlight Covered)

Methods

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

FunctorB (Nightlight Bare)

Defined in WLED.Types

Methods

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

FunctorB (Nightlight Covered)

Defined in WLED.Types

Methods

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

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

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)

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)

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)

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)

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)

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)

Defined in WLED.Types

Associated Types

type Rep (Nightlight t f) :: Type -> Type

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)

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)

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)

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)

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)

Defined in WLED.Types

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

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

Defined in WLED.Types

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

type Rep (Nightlight t f)

Defined in WLED.Types

type Rep (Nightlight t f) = D1 ('MetaData "Nightlight" "WLED.Types" "wled-json-0.0.1.0-G2WaICdQEyYARSm8URLPei" '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

Segment data type.

Constructors

Segment

Fields

• 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

Instances

BareB Segment

Defined in WLED.Types

Methods

bstrip :: Segment Covered Identity -> Segment Bare Identity

bcover :: Segment Bare Identity -> Segment Covered Identity

ApplicativeB (Segment Covered)

Defined in WLED.Types

Methods

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

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

ConstraintsB (Segment Bare)

Defined in WLED.Types

Associated Types

type AllB c (Segment Bare)

Methods

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

ConstraintsB (Segment Covered)

Defined in WLED.Types

Associated Types

type AllB c (Segment Covered)

Methods

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

FunctorB (Segment Bare)

Defined in WLED.Types

Methods

bmap :: (forall (a :: k). f a -> g a) -> Segment Bare f -> Segment Bare g

FunctorB (Segment Covered)

Defined in WLED.Types

Methods

bmap :: (forall (a :: k). f a -> g a) -> Segment Covered f -> Segment Covered g

AllBF FromJSON f (Segment Bare) => FromJSON (Segment Bare f)

Defined in WLED.Types

Methods

parseJSON :: Value -> Parser (Segment Bare f)

parseJSONList :: Value -> Parser [Segment Bare f]

omittedField :: Maybe (Segment Bare f)

AllBF FromJSON f (Segment Covered) => FromJSON (Segment Covered f)

Defined in WLED.Types

Methods

parseJSON :: Value -> Parser (Segment Covered f)

parseJSONList :: Value -> Parser [Segment Covered f]

omittedField :: Maybe (Segment Covered f)

AllBF ToJSON f (Segment Bare) => ToJSON (Segment Bare f)

Defined in WLED.Types

Methods

toJSON :: Segment Bare f -> Value

toEncoding :: Segment Bare f -> Encoding

toJSONList :: [Segment Bare f] -> Value

toEncodingList :: [Segment Bare f] -> Encoding

omitField :: Segment Bare f -> Bool

AllBF ToJSON f (Segment Covered) => ToJSON (Segment Covered f)

Defined in WLED.Types

Methods

toJSON :: Segment Covered f -> Value

toEncoding :: Segment Covered f -> Encoding

toJSONList :: [Segment Covered f] -> Value

toEncodingList :: [Segment Covered f] -> Encoding

omitField :: Segment Covered f -> Bool

Alternative f => Monoid (Segment Covered f)

Defined in WLED.Types

Methods

mempty :: Segment Covered f

mappend :: Segment Covered f -> Segment Covered f -> Segment Covered f

mconcat :: [Segment Covered f] -> Segment Covered f

Alternative f => Semigroup (Segment Covered f)

Defined in WLED.Types

Methods

(<>) :: Segment Covered f -> Segment Covered f -> Segment Covered f

sconcat :: NonEmpty (Segment Covered f) -> Segment Covered f

stimes :: Integral b => b -> Segment Covered f -> Segment Covered f

Generic (Segment t f)

Defined in WLED.Types

Associated Types

type Rep (Segment t f) :: Type -> Type

Methods

from :: Segment t f -> Rep (Segment t f) x

to :: Rep (Segment t f) x -> Segment t f

AllBF Show f (Segment Bare) => Show (Segment Bare f)

Defined in WLED.Types

Methods

showsPrec :: Int -> Segment Bare f -> ShowS

show :: Segment Bare f -> String

showList :: [Segment Bare f] -> ShowS

AllBF Show f (Segment Covered) => Show (Segment Covered f)

Defined in WLED.Types

Methods

showsPrec :: Int -> Segment Covered f -> ShowS

show :: Segment Covered f -> String

showList :: [Segment Covered f] -> ShowS

AllBF Eq f (Segment Bare) => Eq (Segment Bare f)

Defined in WLED.Types

Methods

(==) :: Segment Bare f -> Segment Bare f -> Bool

(/=) :: Segment Bare f -> Segment Bare f -> Bool

AllBF Eq f (Segment Covered) => Eq (Segment Covered f)

Defined in WLED.Types

Methods

(==) :: Segment Covered f -> Segment Covered f -> Bool

(/=) :: Segment Covered f -> Segment Covered f -> Bool

type AllB (c :: Type -> Constraint) (Segment Bare)

Defined in WLED.Types

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

type AllB (c :: Type -> Constraint) (Segment Covered)

Defined in WLED.Types

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

type Rep (Segment t f)

Defined in WLED.Types

type Rep (Segment t f) = D1 ('MetaData "Segment" "WLED.Types" "wled-json-0.0.1.0-G2WaICdQEyYARSm8URLPei" 'False) (C1 ('MetaCons "Segment" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "segmentId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: (S1 ('MetaSel ('Just "segmentStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "segmentStop") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)))) :*: ((S1 ('MetaSel ('Just "segmentLen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "segmentGrp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int))) :*: (S1 ('MetaSel ('Just "segmentSpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "segmentOf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int))))) :*: ((S1 ('MetaSel ('Just "segmentOn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool)) :*: (S1 ('MetaSel ('Just "segmentFrz") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool)) :*: S1 ('MetaSel ('Just "segmentBri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)))) :*: ((S1 ('MetaSel ('Just "segmentCct") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "segmentSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int))) :*: (S1 ('MetaSel ('Just "segmentCol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f [[Int]])) :*: S1 ('MetaSel ('Just "segmentFx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)))))) :*: (((S1 ('MetaSel ('Just "segmentSx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: (S1 ('MetaSel ('Just "segmentIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "segmentPal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)))) :*: ((S1 ('MetaSel ('Just "segmentC1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "segmentC2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int))) :*: (S1 ('MetaSel ('Just "segmentC3") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "segmentSel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool))))) :*: ((S1 ('MetaSel ('Just "segmentRev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool)) :*: (S1 ('MetaSel ('Just "segmentMi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool)) :*: S1 ('MetaSel ('Just "segmentO1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool)))) :*: ((S1 ('MetaSel ('Just "segmentO2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool)) :*: S1 ('MetaSel ('Just "segmentO3") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Bool))) :*: (S1 ('MetaSel ('Just "segmentSi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wear t f Int)) :*: S1 ('MetaSel ('Just "segmentM12") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (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