Safe Haskell	None
Language	Haskell2010

Data.WorldPeace.Subset.Class.Internal

Synopsis

class Subset' (flag :: Bool) (err :: Type) (errs :: [Type]) where
- include' :: Proxy flag -> err -> OpenUnion errs

Documentation

class Subset' (flag :: Bool) (err :: Type) (errs :: [Type]) where Source #

Hack around overlapping instances to check subsets of bare values or OpenUnions automatically

Methods

Instances details

IsMember err errs => Subset' 'False err errs Source #
Instance details Defined in Data.WorldPeace.Subset.Class.Internal Methods include' :: Proxy 'False -> err -> OpenUnion errs Source #
Contains err errs => Subset' 'True (OpenUnion err) errs Source #
Instance details Defined in Data.WorldPeace.Subset.Class.Internal Methods include' :: Proxy 'True -> OpenUnion err -> OpenUnion errs Source #