Copyright	(C) 2016 Csongor Kiss
License	BSD3
Maintainer	Csongor Kiss <[email protected]>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell2010

Data.Type.Regex.ListUtils

Description

Various auixiliary type families that operate on type-level lists. Cherry picked from Data.List and lifted to the type-level.

Synopsis

Documentation

type family Nub xs :: [k] Source

Analogous to Data.List.nub

Equations

Nub `[]` = `[]`
Nub (x : xs) = x : Nub (FilterOut x xs)

type family IsNull xs Source

Analogous to Data.List.null

Equations

IsNull `[]` = True
IsNull xs = False

type family FilterOut x xs :: [k] Source

Analogous to `Data.List.filter (/= x) xs`

Equations

FilterOut x `[]` = `[]`
FilterOut x (x : xs) = FilterOut x xs
FilterOut x (y : xs) = y : FilterOut x xs

type family Elem x xs Source

Analogous to Data.List.elem

Equations

type family xs ++ ys Source

Analogous to Data.List.++

Equations

`[]` ++ ys = ys
(x : xs) ++ ys = x : (xs ++ ys)