Chanpon.Classes

class ToParam a  where

Members

• toParam :: a -> String

Instances

• ToParam Int
• ToParam String

class FromResult a  where

Members

• fromResult :: Foreign -> F a

Instances

• FromResult Int
• FromResult String

class FromResultFields (xs :: RowList) (from :: Row Type) (to :: Row Type) | xs -> from to where

Members

• getFields :: RLProxy xs -> Foreign -> F (Builder (Record from) (Record to))

Instances

• FromResultFields Nil () ()
• (IsSymbol name, FromResult ty, FromResultFields tail from from', Lacks name from', Cons name ty from' to) => FromResultFields (Cons name ty tail) from to

class PrepareInput (xs :: RowList) (row :: Row Type) | xs -> row where

Members

• prepareInputParams :: RLProxy xs -> Record row -> Int -> { args :: List Param, columns :: List String, params :: List String }

Instances

• PrepareInput Nil row
• (PrepareInput tail row, Cons name ty trash row, IsSymbol name, ToParam ty) => PrepareInput (Cons name ty tail) row

class PrepareSpec (xs :: RowList) (row :: Row Type) | xs -> row where

Members

• prepareSpec :: RLProxy xs -> Record row -> List String

Instances

• PrepareSpec Nil trash
• (PrepareSpec tail row, IsSymbol name, Cons name String trash row) => PrepareSpec (Cons name ty tail) row

class Keys (xs :: RowList)  where

Members

• keys :: RLProxy xs -> List String

Instances

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

keysAsRecord :: forall keys rl row proxy. RowToList row rl => KeysAsRecordBuilder rl () keys => proxy row -> Record keys

class KeysAsRecordBuilder (xs :: RowList) (from :: Row Type) (to :: Row Type) | xs -> from to where

Members

• keysAsRecordBuilder :: RLProxy xs -> Builder (Record from) (Record to)

Instances

• KeysAsRecordBuilder Nil () ()
• (KeysAsRecordBuilder tail from from', Lacks name from', Cons name String from' to, IsSymbol name) => KeysAsRecordBuilder (Cons name trash tail) from to