OhYes

toTS :: forall a. HasTSRep a => a -> a

identity function for applying the HasTSRep constraint

generateTS :: forall a. HasTSRep a => String -> Proxy a -> String

Generate Typescript type signatures for a given type, supplying a name to use as the type name

newtype VariantRecord (pairings :: Row Type)

VariantRecord to represent a union of records of string literal "tag" and dependently-typed "content".

Constructors

• VariantRecord { content :: Foreign, tag :: String }

Instances

• (RowToList row rl, FakeSumRecordMembers rl) => HasTSRep (VariantRecord row)

overVariant :: forall row. (Variant row -> Variant row) -> VariantRecord row -> VariantRecord row

A function to apply a function on the Variant form of the VariantRecord.

toVariant :: forall row. VariantRecord row -> Variant row

fromVariant :: forall row. Variant row -> VariantRecord row

class HasTSRep a  where

Our main type class for types that can be represented in Typescript types without conversion. You may want to using newtype instance deriving for this class for your newtypes, but any other types should be tested for correctness.

Members

• toTSRep :: Proxy a -> String

Instances

• HasTSRep Number
• HasTSRep String
• HasTSRep Boolean
• (HasTSRep a) => HasTSRep (Nullable a)
• (HasTSRep a) => HasTSRep (Array a)
• (RowToList row rl, HasTSRepFields rl) => HasTSRep (Record row)
• (RowToList row rl, FakeSumRecordMembers rl) => HasTSRep (VariantRecord row)

class HasTSRepFields (rl :: RowList)  where

Members

• toTSRepFields :: RLProxy rl -> List String

Instances

• (HasTSRepFields tail, IsSymbol name, HasTSRep ty) => HasTSRepFields (Cons name ty tail)
• HasTSRepFields Nil

class FakeSumRecordMembers (rl :: RowList)  where

Members

• toFakeSumRecordMembers :: RLProxy rl -> List String

Instances

• (FakeSumRecordMembers tail, IsSymbol name, HasTSRep ty) => FakeSumRecordMembers (Cons name ty tail)
• FakeSumRecordMembers Nil