Module

OOOOOOOOOORRRRRRRMM.Lib

Package: purescript-oooooooooorrrrrrrmm-lib
Repository: mikesol/purescript-oooooooooorrrrrrrmm-lib

#ToValues' Source

class ToValues' :: RowList Type -> RowList Type -> Row Type -> Constraintclass ToValues' rl0 rl1 i  where

Members

toValues' :: Proxy rl0 -> Proxy rl1 -> Record i -> Array Foreign

Instances

ToValues' Nil rl i
(WriteForeign v, IsSymbol k, Lacks k i', Cons k v i' i, ToValues' rl0 rl1 i) => ToValues' (Cons k v rl0) (Cons k Unit rl1) i

#ToValues Source

class ToValues :: Row Type -> Constraintclass ToValues i  where

Members

toValues :: Record i -> Array Foreign

Instances

(RowToList i rl0, ToValues' rl0 AllRows i) => ToValues i

#AllRows Source

type AllRows :: RowList Typetype AllRows = Cons "$1" Unit (Cons "$2" Unit (Cons "$3" Unit (Cons "$4" Unit (Cons "$5" Unit (Cons "$6" Unit (Cons "$7" Unit (Cons "$8" Unit (Cons "$9" Unit (Cons "$10" Unit (Cons "$11" Unit (Cons "$12" Unit (Cons "$13" Unit (Cons "$14" Unit (Cons "$15" Unit (Cons "$16" Unit (Cons "$17" Unit (Cons "$18" Unit (Cons "$19" Unit (Cons "$20" Unit (Cons "$21" Unit (Cons "$22" Unit (Cons "$23" Unit (Cons "$24" Unit (Cons "$25" Unit (Cons "$26" Unit (Cons "$27" Unit (Cons "$28" Unit (Cons "$29" Unit (Cons "$30" Unit (Cons "$31" Unit (Cons "$32" Unit (Cons "$33" Unit (Cons "$34" Unit (Cons "$35" Unit (Cons "$36" Unit (Cons "$37" Unit (Cons "$38" Unit (Cons "$39" Unit (Cons "$40" Unit (Cons "$41" Unit (Cons "$42" Unit (Cons "$43" Unit (Cons "$44" Unit (Cons "$45" Unit (Cons "$46" Unit (Cons "$47" Unit (Cons "$48" Unit (Cons "$49" Unit (Cons "$50" Unit (Cons "$51" Unit (Cons "$52" Unit (Cons "$53" Unit (Cons "$54" Unit (Cons "$55" Unit (Cons "$56" Unit (Cons "$57" Unit (Cons "$58" Unit (Cons "$59" Unit (Cons "$60" Unit (Cons "$61" Unit (Cons "$62" Unit (Cons "$63" Unit (Cons "$64" Unit (Cons "$65" Unit (Cons "$66" Unit (Cons "$67" Unit (Cons "$68" Unit (Cons "$69" Unit (Cons "$70" Unit (Cons "$71" Unit (Cons "$72" Unit (Cons "$73" Unit (Cons "$74" Unit Nil)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

#UseMaybe Source

class UseMaybe i o | i -> o where

Members

useMaybe :: i -> o

Instances

UseMaybe Int Int
UseMaybe Number Number
UseMaybe String String
UseMaybe Boolean Boolean
UseMaybe Date Date
(UseMaybe i o) => UseMaybe (Nullable i) (Maybe o)
(UseMaybe i o) => UseMaybe (Array i) (Array o)
(RowToList i rl, UseMaybeRow rl i o) => UseMaybe (Record i) (Record o)

#UseMaybeRow Source

class UseMaybeRow :: RowList Type -> Row Type -> Row Type -> Constraintclass UseMaybeRow rl i o | rl i -> o where

Members

useMaybeRow :: Proxy rl -> Record i -> Record o

Instances

UseMaybeRow Nil i ()
(IsSymbol k, UseMaybe v v', Lacks k i', Lacks k o', Cons k v i' i, Cons k v' o' o, UseMaybeRow rl i o') => UseMaybeRow (Cons k v rl) i o

Modules: OOOOOOOOOORRRRRRRMM.Lib