ruin: Pliable records

ruin is a DSL for working with record types. It focuses on converting between conventionally-declared record types and supporting named function arguments.

• Uses -XOverloadedLabels, so that #x is a first-class label for the field named x.

• Provides GHC.Generics defaults.

• Named arguments: \[rna|x y z] -> (x,y,z) inhabits ("x" :@ a,"y" :@ b,"z" :@ c) -> (a,b,c).

• Relies on -XDuplicateRecordFields; the generic defaults only work if record selector names do not have distinguishing prefices.

• Custom type errors, such as ruin: Could not find the field `x' in the type ...

• Data.Ruin.R provides anonymous record types where the order of fields is irrelevant.

See the Data.Ruin module for an overview.

Modules

[Index]

Flags

Manual Flags

Name	Description	Default
werror	Enable -Werror	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• ruin-0.1.0.1.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• NicolasFrisby

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates