Safe Haskell	None
Language	Haskell2010

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 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 #