Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

@gilesbradshaw

gilesbradshaw/list

Created October 30, 2015 21:52
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save gilesbradshaw/a7121d342254de17ef2e to your computer and use it in GitHub Desktop.
Save gilesbradshaw/a7121d342254de17ef2e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
list
infixr 5 :-:
data List a = Empty | a :-: (List a) deriving (Show, Read, Eq, Ord)
infixr 5 ^++
(^++) :: List a -> List a -> List a
Empty ^++ ys = ys
(x :-: xs) ^++ ys = x :-: (xs ^++ ys)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment