Module

Data.TSCompat.Class

Package
purescript-tscompat
Repository
doolse/purescript-tscompat

#OptionField Source

data OptionField :: Boolean -> Type -> Type

Instances

#TsTypeExists Source

class TsTypeExists t (rl :: RowList) (o :: Boolean) | t rl -> o

Instances

#ConstainsAll Source

class ConstainsAll (out :: RowList) (b :: Row Type) 

Instances

#TSCompatible Source

class TSCompatible (s :: Symbol) a b (eq :: Boolean) | a -> b, b -> a

Instances

#IsOptional Source

class IsOptional (s :: Symbol) (m :: RowList) (b :: Boolean) | s m -> b

Instances

#IsEqRowList Source

class IsEqRowList (l :: RowList) (b :: Row Type) (m :: RowList) 

Instances

#IsEq Source

class IsEq a b (eq :: Boolean) | a b -> eq

Instances

#IsTSEq Source

class IsTSEq a b 

Instances

#asTS Source

asTS :: forall b a. IsTSEq a b => a -> b