Copyright | (C) CSIRO 2017-2019 |
---|---|
License | BSD3 |
Maintainer | Isaac Elliott <isaace71295@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
This module defines some helpful set-like functions for working with type-level lists.
Documentation
Remove adjacent equal elements from a type-level list
Determine whether type a
is a member of type-level list s
Instances
Member a2 s => Member (a2 :: k) (b ': s :: [a1]) # | |
Defined in Data.Type.Set | |
Member (a2 :: a1) (a2 ': s :: [a1]) # | |
Defined in Data.Type.Set |