TsBridge.Types.TsRecord

data Mod :: Row Boolean -> Type -> ModField Typedata Mod t0 t1

Instances

• (ToRecordBuilder rl' rts r', Cons sym (Mod mods a) rtsx rts, Cons sym a_ r' r, Lacks sym r', IsSymbol sym, Get sym rts a_) => ToRecordBuilder (Cons sym (Mod mods a) rl') rts r
• (TsBridgeBy tok t, TsBridgeTsRecordRL tok rl, IsSymbol s, GetMods mods) => TsBridgeTsRecordRL tok (Cons s (Mod mods t) rl)

data ModField t0

data TsRecord :: Row (ModField Type) -> Typedata TsRecord t0

Instances

• (Lacks sym rts) => IsRecordWithoutKey sym (TsRecord rts)

class Get :: Symbol -> Row (ModField Type) -> Type -> Constraintclass Get sym rts a | sym rts sym rts -> a where

Members

• get :: Proxy sym -> TsRecord rts -> a

Instances

• (GetKey "optional" mods False optional, If optional (Maybe a) a a_, Cons sym (Mod mods a) rtsx rts, Reflectable optional Boolean, IsSymbol sym) => Get sym rts a_

class GetKey :: forall k. Symbol -> Row k -> k -> k -> Constraintclass GetKey sym r fail match | sym r fail -> match

Instances

• (RowToList r rl, GetKeyRL sym rl fail match) => GetKey sym r fail match

class GetKeyRL :: forall k. Symbol -> RowList k -> k -> k -> Constraintclass GetKeyRL sym rl fail match | sym rl fail -> match

Instances

• GetKeyRL sym Nil fail fail
• GetKeyRL sym (Cons sym a rl') fail a
• (GetKeyRL sym' rl' fail match) => GetKeyRL sym' (Cons sym a rl') fail match

class GetMods :: Row Boolean -> Constraintclass GetMods r  where

Members

• getMods :: Proxy r -> PropModifiers

Instances

• (RowToList r rl, GetModsRL rl) => GetMods r

class GetModsRL :: RowList Boolean -> Constraintclass GetModsRL rl  where

Members

• getModsRL :: Proxy rl -> PropModifiers

Instances

• GetModsRL Nil
• (GetModsRL rl', Reflectable optional Boolean) => GetModsRL (Cons "optional" optional rl')
• (GetModsRL rl', Reflectable readonly Boolean) => GetModsRL (Cons "readonly" readonly rl')

class ToRecord :: Row (ModField Type) -> Row Type -> Constraintclass ToRecord rts r | rts -> r where

Members

• toRecord :: TsRecord rts -> Record r

Instances

• (ToRecordBuilder rl rts r, RowToList rts rl) => ToRecord rts r

class ToRecordBuilder :: RowList (ModField Type) -> Row (ModField Type) -> Row Type -> Constraintclass ToRecordBuilder rl rts r | rl rts -> r where

Members

• toRecordBuilder :: forall proxy. proxy rl -> TsRecord rts -> Builder (Record ()) (Record r)

Instances

• ToRecordBuilder Nil rts ()
• (ToRecordBuilder rl' rts r', Cons sym (Mod mods a) rtsx rts, Cons sym a_ r' r, Lacks sym r', IsSymbol sym, Get sym rts a_) => ToRecordBuilder (Cons sym (Mod mods a) rl') rts r

class TsBridgeTsRecord :: Type -> Row (ModField Type) -> Constraintclass TsBridgeTsRecord tok r  where

Members

• tsBridgeTsRecord :: tok -> Proxy (TsRecord r) -> TsBridgeM TsType

Instances

• (RowToList r rl, TsBridgeTsRecordRL tok rl) => TsBridgeTsRecord tok r

class TsBridgeTsRecordRL :: Type -> RowList (ModField Type) -> Constraintclass TsBridgeTsRecordRL tok rl  where

Members

• tsBridgeTsRecordRL :: tok -> Proxy rl -> TsBridgeM (Array TsRecordField)

Instances

• TsBridgeTsRecordRL tok Nil
• (TsBridgeBy tok t, TsBridgeTsRecordRL tok rl, IsSymbol s, GetMods mods) => TsBridgeTsRecordRL tok (Cons s (Mod mods t) rl)