TsBridge.DefaultImpls

data TypeVar :: Symbol -> Typedata TypeVar (s :: Symbol)

Represents a monomorphized type variable. E.g. a Maybe a can become a Maybe (TypeVar "A"). It's useful to create some type aliases for variables that are used often, like: type A = TypeVar "A".

Constructors

• TypeVar

class TsBridgeRecord :: Type -> Row Type -> Constraintclass TsBridgeRecord tok r  where

Members

• tsBridgeRecord :: tok -> Proxy (Record r) -> StandaloneTsType

  tsBridge type class method implementation for the Record type

  See this reference for details.

Instances

• (RowToList r rl, TsBridgeRecordRL tok rl) => TsBridgeRecord tok r

class TsBridgeRecordRL :: Type -> RowList Type -> Constraintclass 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)

class TsBridgeVariant :: Type -> Row Type -> Constraintclass TsBridgeVariant tok r  where

Members

• tsBridgeVariant :: tok -> Proxy (Variant r) -> StandaloneTsType

  tsBridge type class method implementation for the Variant type

  See this reference for details.

Instances

• (RowToList r rl, TsBridgeVariantRL tok rl) => TsBridgeVariant tok r

class TsBridgeVariantRL :: Type -> RowList Type -> Constraintclass 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 :: forall a tok. TsBridgeBy tok a => tok -> Proxy (Array a) -> StandaloneTsType

tsBridge type class method implementation for the Array type

See this reference for details.

tsBridgeBoolean :: Proxy Boolean -> StandaloneTsType

tsBridge type class method implementation for the Boolean type

See this reference for details.

tsBridgeNewtype :: forall tok a t. Newtype a t => TsBridgeBy tok t => tok -> String -> String -> Array (String /\ StandaloneTsType) -> Proxy a -> StandaloneTsType

tsBridge type class method implementation for newtypes

tsBridgeChar :: Proxy Char -> StandaloneTsType

tsBridge type class method implementation for the Char type

See this reference for details.

tsBridgeEffect :: forall tok a. TsBridgeBy tok a => tok -> Proxy (Effect a) -> StandaloneTsType

tsBridge type class method implementation for the Effect type

See this reference for details.

tsBridgeEither :: forall tok a b. TsBridgeBy tok a => TsBridgeBy tok b => tok -> Proxy (Either a b) -> StandaloneTsType

tsBridge type class method implementation for the Either type

See this reference for details.

tsBridgeFunction :: forall tok a b. TsBridgeBy tok a => TsBridgeBy tok b => tok -> Proxy (a -> b) -> StandaloneTsType

tsBridge type class method implementation for the a -> b (Function) type

See this reference for details.

tsBridgeInt :: Proxy Int -> StandaloneTsType

tsBridge type class method implementation for the Int type

See this reference for details.

tsBridgeMaybe :: forall tok a. TsBridgeBy tok a => tok -> Proxy (Maybe a) -> StandaloneTsType

tsBridge type class method implementation for the Maybe type

See this reference for details.

tsBridgeNullable :: forall a tok. TsBridgeBy tok a => tok -> Proxy (Nullable a) -> StandaloneTsType

tsBridge type class method implementation for the Nullable type.

See this reference for details.

tsBridgeNumber :: Proxy Number -> StandaloneTsType

tsBridge type class method implementation for the Number type.

See this reference for details.

tsBridgeOpaqueType :: forall a. String -> String -> Array (String /\ StandaloneTsType) -> a -> StandaloneTsType

tsBridge type class method implementation for opaque types

tsBridgePromise :: forall tok a. TsBridgeBy tok a => tok -> Proxy (Promise a) -> StandaloneTsType

tsBridge type class method implementation for the Promise type.

See this reference for details.

tsBridgeString :: Proxy String -> StandaloneTsType

tsBridge type class method implementation for the String type

See this reference for details.

tsBridgeTuple :: forall tok a b. TsBridgeBy tok a => TsBridgeBy tok b => tok -> Proxy (Tuple a b) -> StandaloneTsType

tsBridge type class method implementation for the Tuple type

See this reference for details.

tsBridgeTypeVar :: forall s. IsSymbol s => Proxy (TypeVar s) -> StandaloneTsType

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 :: Proxy Unit -> StandaloneTsType

tsBridge type class method implementation for the Unit type

See this reference for details.