Module

TsBridge.Types.TsRecord

Package
purescript-ts-bridge
Repository
thought2/purescript-ts-bridge

#Mod Source

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

Instances

#ModField Source

data ModField t0

#TsRecord Source

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

Instances

#Get Source

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

Members

Instances

#GetKey Source

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

Instances

#GetKeyRL Source

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

Instances

#GetMods Source

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

Members

Instances

#GetModsRL Source

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

Members

Instances

#ToRecord Source

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

Members

Instances

#ToRecordBuilder Source

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

Members

Instances

#TsBridgeTsRecord Source

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

Members

Instances

#TsBridgeTsRecordRL Source