File: NonEmpty.hs

package info (click to toggle)
bali-phy 4.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 15,392 kB
  • sloc: cpp: 120,442; xml: 13,966; haskell: 9,975; python: 2,936; yacc: 1,328; perl: 1,169; lex: 912; sh: 343; makefile: 26
file content (15 lines) | stat: -rw-r--r-- 471 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
{-# LANGUAGE NoImplicitPrelude #-}
module Data.List.NonEmpty where

import Data.Eq
import Data.Ord

data NonEmpty a = a :| [a]

instance Eq a => Eq (NonEmpty a) where
    (x :| xs) == (y :| ys) = x == y && xs == ys

instance Ord a => Ord (NonEmpty a) where
    (x :| xs) `compare` (y :| ys) = case x `compare` y of LT -> LT
                                                          GT -> GT
                                                          EQ -> xs `compare` ys