Skip to content

Instantly share code, notes, and snippets.

@LukaJCB

LukaJCB/TypeClassesDataTypes.purs

Created February 9, 2017 08:59
Show Gist options
  • Save LukaJCB/26125f4474c458246abdd966fc9c09a4 to your computer and use it in GitHub Desktop.
Save LukaJCB/26125f4474c458246abdd966fc9c09a4 to your computer and use it in GitHub Desktop.
Download ZIP
Why Typeclass constraints on Data types would be great.
Raw
TypeClassesDataTypes.purs
type Container f1 f2 f3 =
{ children :: f1 String
, friends :: f2 Int
, colleagues :: f3 Number
}
data SomeType f1 f2 f3 a e = Container (Container f1 f2 f3)
| AnotherType a
| SomeEffect (Eff e Unit)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment