Skip to content

Instantly share code, notes, and snippets.

@Peaker

Peaker/test.hs

Forked from dtchepak/test.hs
Created June 4, 2012 00:35
Show Gist options
  • Save Peaker/2865635 to your computer and use it in GitHub Desktop.
Save Peaker/2865635 to your computer and use it in GitHub Desktop.
Download ZIP
Illegal instance declaration, flexible instances?
Raw
test.hs
{-# LANGUAGE TypeFamilies #-}
class Collection c where
type Element c
insert :: Element c -> c -> c
instance Collection [a] where
type Element [a] = a
insert = (:)
@Peaker
Copy link
Author

Peaker commented Jun 4, 2012

{-# LANGUAGE MultiParamTypeClasses #-}
class Collection c where
type Element c
insert :: Element c -> c -> c

instance Collection [a] where
type Element [a] = a
insert = (:)

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