pasberth/Type-classes-implementation.md

Created June 19, 2013 09:14

Star (1) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/pasberth/5812907.js"></script>
Save pasberth/5812907 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

Type-classes-implementation.md

class T t where
  t :: t a

instance T X where
  t = tx

instance T Y where
  t = ty
 
t' :: T t => t a
t' = t

(def t-map
  { (X a) tx
  , (Y a) ty
  })
 
(defn t [type] (t-map type))
(defn t' [type] (t type))

; type is context

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment