TsBridge.DefaultImpls
- Package
- purescript-ts-bridge
- Repository
- thought2/purescript-ts-bridge
#TsBridgeRecord Source
class TsBridgeRecord :: Type -> Row Type -> Constraint
class TsBridgeRecord tok r where
Members
tsBridgeRecord :: tok -> Proxy (Record r) -> TsBridgeM TsType
Instances
(RowToList r rl, TsBridgeRecordRL tok rl) => TsBridgeRecord tok r
#TsBridgeRecordRL Source
class TsBridgeRecordRL :: Type -> RowList Type -> Constraint
class TsBridgeRecordRL tok rl where
Members
tsBridgeRecordRL :: tok -> Proxy rl -> TsBridgeM (Array TsRecordField)
Instances
TsBridgeRecordRL tok Nil
(TsBridgeBy tok t, TsBridgeRecordRL tok rl, IsSymbol s) => TsBridgeRecordRL tok (Cons s t rl)
#TsBridgeVariant Source
class TsBridgeVariant :: Type -> Row Type -> Constraint
class TsBridgeVariant tok r where
Members
tsBridgeVariant :: tok -> Proxy (Variant r) -> TsBridgeM TsType
tsBridge
type class method implementation for the Variant typeSee this reference for details.
Instances
(RowToList r rl, TsBridgeVariantRL tok rl) => TsBridgeVariant tok r
#TsBridgeVariantRL Source
class TsBridgeVariantRL :: Type -> RowList Type -> Constraint
class TsBridgeVariantRL tok rl where
Members
tsBridgeVariantRL :: tok -> Proxy rl -> TsBridgeM (Array TsType)
Instances
TsBridgeVariantRL tok Nil
(TsBridgeBy tok t, TsBridgeVariantRL tok rl, IsSymbol s) => TsBridgeVariantRL tok (Cons s t rl)
#tsBridgeArray Source
tsBridgeArray :: forall a tok. TsBridgeBy tok a => tok -> Proxy (Array a) -> TsBridgeM TsType
tsBridge
type class method implementation for the Array
type
See this reference for details.
#tsBridgeBoolean Source
tsBridgeBoolean :: Proxy Boolean -> TsBridgeM TsType
tsBridge
type class method implementation for the Boolean
type
See this reference for details.
#tsBridgeChar Source
tsBridgeChar :: Proxy Char -> TsBridgeM TsType
tsBridge
type class method implementation for the Char
type
See this reference for details.
#tsBridgeEffect Source
tsBridgeEffect :: forall tok a. TsBridgeBy tok a => tok -> Proxy (Effect a) -> TsBridgeM TsType
tsBridge
type class method implementation for the Effect
type
See this reference for details.
#tsBridgeEither Source
tsBridgeEither :: forall tok a b. TsBridgeBy tok a => TsBridgeBy tok b => tok -> Proxy (Either a b) -> TsBridgeM TsType
tsBridge
type class method implementation for the Either
type
See this reference for details.
#tsBridgeFunction Source
tsBridgeFunction :: forall tok a b. TsBridgeBy tok a => TsBridgeBy tok b => tok -> Proxy (a -> b) -> TsBridgeM TsType
tsBridge
type class method implementation for the a -> b
(Function) type
See this reference for details.
#tsBridgeInt Source
tsBridgeInt :: Proxy Int -> TsBridgeM TsType
tsBridge
type class method implementation for the Int
type
See this reference for details.
#tsBridgeMaybe Source
tsBridgeMaybe :: forall tok a. TsBridgeBy tok a => tok -> Proxy (Maybe a) -> TsBridgeM TsType
tsBridge
type class method implementation for the Maybe
type
See this reference for details.
#tsBridgeNullable Source
tsBridgeNullable :: forall a tok. TsBridgeBy tok a => tok -> Proxy (Nullable a) -> TsBridgeM TsType
tsBridge
type class method implementation for the Nullable
type.
See this reference for details.
#tsBridgeNumber Source
tsBridgeNumber :: Proxy Number -> TsBridgeM TsType
tsBridge
type class method implementation for the Number
type.
See this reference for details.
#tsBridgeOneOf Source
tsBridgeOneOf :: forall a b tok. TsBridgeBy tok a => TsBridgeBy tok b => tok -> Proxy (OneOf a b) -> TsBridgeM TsType
tsBridge
type class method implementation for the OneOf
type.
See this reference for details.
#tsBridgePromise Source
tsBridgePromise :: forall tok a. TsBridgeBy tok a => tok -> Proxy (Promise a) -> TsBridgeM TsType
tsBridge
type class method implementation for the Promise
type.
See this reference for details.
#tsBridgeString Source
tsBridgeString :: Proxy String -> TsBridgeM TsType
tsBridge
type class method implementation for the String
type
See this reference for details.
#tsBridgeTuple Source
tsBridgeTuple :: forall tok a b. TsBridgeBy tok a => TsBridgeBy tok b => tok -> Proxy (Tuple a b) -> TsBridgeM TsType
tsBridge type class method implementation for the Tuple
type
See this reference for details.
#tsBridgeTypeVar Source
tsBridgeTypeVar :: forall s. IsSymbol s => Proxy (TypeVar s) -> TsBridgeM TsType
tsBridge
type class method implementation for type variables.
This is needed because polymorphic values cannot be exported directly.
They have to be monomorphized: E.g. something of type Maybe a
needs to be
typed Maybe (Var "A")
to be exported.
#tsBridgeUnit Source
tsBridgeUnit :: Proxy Unit -> TsBridgeM TsType
tsBridge
type class method implementation for the Unit
type
See this reference for details.
tsBridge
type class method implementation for the Record typeSee this reference for details.