container-1.0.2: Containers abstraction and utilities.

Safe HaskellNone
LanguageHaskell2010

Data.Container.Type

Documentation

type family In a lst Source

Equations

In a (a : ls) = True 
In a (l : ls) = In a ls 
In a `[]` = False