In order to make my records system practically useable, I need a type
family
type family NameCmp n m
which totally orders datatypes. More precisely, it should return one
of the
following types:
data NameLT = NameLT
data NameEQ = NameEQ
data NameGT = NameGT
for each pair
Hi Neil, thanks for the response.
The problem is this:
It is in the IO monad because the actual value of the key may vary
from run to run of the program
(taken from the web page). Since I'm relying on the order, not just
equality, this will seriously
screw things up, because my records are
{-# LANGUAGE TypeFamilies #-}
Hi Justin, thanks for your interest. Hope this helps!
module Examples where
import Records
To get started, you need to define your labels. They are just
singleton datatypes:
data FirstName = FirstName deriving (Show, Eq, Ord)
data Surname =
