Data.WorldPeace.Subset.Class.Internal

Documentation

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

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

Methods

include' :: Proxy flag -> err -> OpenUnion errs

Instances

IsMember err errs => Subset' False err errs

Defined in Data.WorldPeace.Subset.Class.Internal

Methods

include' :: Proxy False -> err -> OpenUnion errs

Contains err errs => Subset' True (OpenUnion err) errs

Defined in Data.WorldPeace.Subset.Class.Internal

Methods

include' :: Proxy True -> OpenUnion err -> OpenUnion errs