Module

Data.Default

Package: purescript-data-default
Repository: thought2/purescript-data-default

#Default Source

class Default a  where

Typeclass to provide a default value for a type

Members

def :: a

Instances

Default Int
Default Number
Default (Maybe a)
Default String
Default Boolean
Default (Array a)
Default (List a)
Default Unit
(GDefault row list, RowToList row list) => Default (Record row)

#GDefault Source

class GDefault (row :: Row Type) (list :: RowList) | list -> row where

Members

gDef :: RLProxy list -> Record row

Instances

GDefault () Nil
(Default value, GDefault rowTail tail, IsSymbol field, Cons field value rowTail row, Lacks field rowTail) => GDefault row (Cons field value tail)

Modules: Data.Default