rescue-0.4.2: More understandable exceptions
Safe HaskellNone
LanguageHaskell2010

Data.WorldPeace.Subset.Class

Synopsis

Documentation

class Subset err errs where Source #

State that some type err is a subset of errs

In essence, this is used to avoid having to specially lift bare values to an OpenUnion. We can treat all types and OpenUnions the same.

Methods

include :: err -> errs Source #

Instances

Instances details
(IsOpenUnion err ~ flag, Subset' flag err errs) => Subset err (OpenUnion errs) Source # 
Instance details

Defined in Data.WorldPeace.Subset.Class

Methods

include :: err -> OpenUnion errs Source #