Skip to content

Instantly share code, notes, and snippets.

@joshcough

joshcough/ip1.hs

Forked from llelf/ip1.hs
Created March 3, 2016 16:12
Show Gist options
  • Save joshcough/aa8b11cde0f0df3620d0 to your computer and use it in GitHub Desktop.
Save joshcough/aa8b11cde0f0df3620d0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ip1.hs
{-# LANGUAGE GADTs, ConstraintKinds, Rank2Types, ImplicitParams #-}
data Rec fields where
Rec :: fields => Rec fields
infixr 1 ?
(?) :: Rec fields -> (fields => r) -> r
Rec ? e = e
record :: Rec (?a :: Int, ?b :: String)
record = Rec where ?a=42
?b="hey"
access :: Int
access = record ? ?a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment