rescue-0.3.0: More understandable exceptions
Data.WorldPeace.Subset.Class.Internal
class Subset' (flag :: Bool) (err :: Type) (errs :: [Type]) where Source #
Hack around overlapping instances to check subsets of bare values or OpenUnions automatically
OpenUnion
Methods
include' :: Proxy flag -> err -> OpenUnion errs Source #
Defined in Data.WorldPeace.Subset.Class.Internal
include' :: Proxy False -> err -> OpenUnion errs Source #
include' :: Proxy True -> OpenUnion err -> OpenUnion errs Source #