hpython-0.2: Python language tools

Copyright(C) CSIRO 2017-2019
LicenseBSD3
MaintainerIsaac Elliott <isaace71295@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe
LanguageHaskell2010

Data.Type.Set

Description

This module defines some helpful set-like functions for working with type-level lists.

Synopsis

Documentation

type family Nub t where ... Source #

Remove adjacent equal elements from a type-level list

Equations

Nub '[] = '[] 
Nub '[e] = '[e] 
Nub (e ': (e ': s)) = Nub (e ': s) 
Nub (e ': (f ': s)) = e ': Nub (f ': s) 

class Member a s Source #

Determine whether type a is a member of type-level list s

Instances
Member a2 s => Member (a2 :: k) (b ': s :: [a1]) Source # 
Instance details

Defined in Data.Type.Set

Member (a2 :: a1) (a2 ': s :: [a1]) Source # 
Instance details

Defined in Data.Type.Set