License	BSD-style (see the file LICENSE)
Maintainer	sjoerd@w3future.com
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell2010

Data.Constraint.Class1

Description

Synopsis

Documentation

scls1 :: forall b h x. SuperClass1 b h => h x :- b x Source #

Proof that b is a superclass of h, i.e. h x entails b x.

type SuperClass1 b h = (HasSuperClasses h, HasSuperClasses b, SuperClasses b `Subset` SuperClasses h, IsSubset (SuperClasses b) (SuperClasses h)) Source #

class HasSuperClasses (c :: k -> Constraint) where Source #

Associated Types

type SuperClasses c :: [k -> Constraint] Source #

Methods

superClasses :: c x :- FoldConstraints (SuperClasses c) x Source #

superClasses :: SuperClasses c ~ '[c] => c x :- FoldConstraints (SuperClasses c) x Source #

containsSelf :: FoldConstraints (SuperClasses c) x :- c x Source #

containsSelf :: SuperClasses c ~ '[c] => FoldConstraints (SuperClasses c) x :- c x Source #

Instances

HasSuperClasses * Bounded Source #
Associated Types type SuperClasses Bounded (c :: Bounded -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Bounded (SuperClasses Bounded c) x Source # containsSelf :: FoldConstraints Bounded (SuperClasses Bounded c) x :- c x Source #
HasSuperClasses * Enum Source #
Associated Types type SuperClasses Enum (c :: Enum -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Enum (SuperClasses Enum c) x Source # containsSelf :: FoldConstraints Enum (SuperClasses Enum c) x :- c x Source #
HasSuperClasses * Eq Source #
Associated Types type SuperClasses Eq (c :: Eq -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Eq (SuperClasses Eq c) x Source # containsSelf :: FoldConstraints Eq (SuperClasses Eq c) x :- c x Source #
HasSuperClasses * Floating Source #
Associated Types type SuperClasses Floating (c :: Floating -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Floating (SuperClasses Floating c) x Source # containsSelf :: FoldConstraints Floating (SuperClasses Floating c) x :- c x Source #
HasSuperClasses * Fractional Source #
Associated Types type SuperClasses Fractional (c :: Fractional -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Fractional (SuperClasses Fractional c) x Source # containsSelf :: FoldConstraints Fractional (SuperClasses Fractional c) x :- c x Source #
HasSuperClasses * Integral Source #
Associated Types type SuperClasses Integral (c :: Integral -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Integral (SuperClasses Integral c) x Source # containsSelf :: FoldConstraints Integral (SuperClasses Integral c) x :- c x Source #
HasSuperClasses * Num Source #
Associated Types type SuperClasses Num (c :: Num -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Num (SuperClasses Num c) x Source # containsSelf :: FoldConstraints Num (SuperClasses Num c) x :- c x Source #
HasSuperClasses * Ord Source #
Associated Types type SuperClasses Ord (c :: Ord -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Ord (SuperClasses Ord c) x Source # containsSelf :: FoldConstraints Ord (SuperClasses Ord c) x :- c x Source #
HasSuperClasses * Read Source #
Associated Types type SuperClasses Read (c :: Read -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Read (SuperClasses Read c) x Source # containsSelf :: FoldConstraints Read (SuperClasses Read c) x :- c x Source #
HasSuperClasses * Real Source #
Associated Types type SuperClasses Real (c :: Real -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Real (SuperClasses Real c) x Source # containsSelf :: FoldConstraints Real (SuperClasses Real c) x :- c x Source #
HasSuperClasses * RealFloat Source #
Associated Types type SuperClasses RealFloat (c :: RealFloat -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints RealFloat (SuperClasses RealFloat c) x Source # containsSelf :: FoldConstraints RealFloat (SuperClasses RealFloat c) x :- c x Source #
HasSuperClasses * RealFrac Source #
Associated Types type SuperClasses RealFrac (c :: RealFrac -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints RealFrac (SuperClasses RealFrac c) x Source # containsSelf :: FoldConstraints RealFrac (SuperClasses RealFrac c) x :- c x Source #
HasSuperClasses * Show Source #
Associated Types type SuperClasses Show (c :: Show -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Show (SuperClasses Show c) x Source # containsSelf :: FoldConstraints Show (SuperClasses Show c) x :- c x Source #
HasSuperClasses * Semigroup Source #
Associated Types type SuperClasses Semigroup (c :: Semigroup -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Semigroup (SuperClasses Semigroup c) x Source # containsSelf :: FoldConstraints Semigroup (SuperClasses Semigroup c) x :- c x Source #
HasSuperClasses * Monoid Source #
Associated Types type SuperClasses Monoid (c :: Monoid -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Monoid (SuperClasses Monoid c) x Source # containsSelf :: FoldConstraints Monoid (SuperClasses Monoid c) x :- c x Source #
HasSuperClasses (* -> * -> *) Bifunctor Source #
Associated Types type SuperClasses Bifunctor (c :: Bifunctor -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Bifunctor (SuperClasses Bifunctor c) x Source # containsSelf :: FoldConstraints Bifunctor (SuperClasses Bifunctor c) x :- c x Source #
HasSuperClasses (* -> * -> *) Arrow Source #
Associated Types type SuperClasses Arrow (c :: Arrow -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Arrow (SuperClasses Arrow c) x Source # containsSelf :: FoldConstraints Arrow (SuperClasses Arrow c) x :- c x Source #
HasSuperClasses (* -> * -> *) ArrowZero Source #
Associated Types type SuperClasses ArrowZero (c :: ArrowZero -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints ArrowZero (SuperClasses ArrowZero c) x Source # containsSelf :: FoldConstraints ArrowZero (SuperClasses ArrowZero c) x :- c x Source #
HasSuperClasses (* -> * -> *) ArrowPlus Source #
Associated Types type SuperClasses ArrowPlus (c :: ArrowPlus -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints ArrowPlus (SuperClasses ArrowPlus c) x Source # containsSelf :: FoldConstraints ArrowPlus (SuperClasses ArrowPlus c) x :- c x Source #
HasSuperClasses (* -> * -> *) ArrowChoice Source #
Associated Types type SuperClasses ArrowChoice (c :: ArrowChoice -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints ArrowChoice (SuperClasses ArrowChoice c) x Source # containsSelf :: FoldConstraints ArrowChoice (SuperClasses ArrowChoice c) x :- c x Source #
HasSuperClasses (* -> * -> *) ArrowApply Source #
Associated Types type SuperClasses ArrowApply (c :: ArrowApply -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints ArrowApply (SuperClasses ArrowApply c) x Source # containsSelf :: FoldConstraints ArrowApply (SuperClasses ArrowApply c) x :- c x Source #
HasSuperClasses (* -> * -> *) ArrowLoop Source #
Associated Types type SuperClasses ArrowLoop (c :: ArrowLoop -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints ArrowLoop (SuperClasses ArrowLoop c) x Source # containsSelf :: FoldConstraints ArrowLoop (SuperClasses ArrowLoop c) x :- c x Source #
HasSuperClasses (* -> * -> *) Biapplicative Source #
Associated Types type SuperClasses Biapplicative (c :: Biapplicative -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Biapplicative (SuperClasses Biapplicative c) x Source # containsSelf :: FoldConstraints Biapplicative (SuperClasses Biapplicative c) x :- c x Source #
HasSuperClasses (* -> * -> *) Choice Source #
Associated Types type SuperClasses Choice (c :: Choice -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Choice (SuperClasses Choice c) x Source # containsSelf :: FoldConstraints Choice (SuperClasses Choice c) x :- c x Source #
HasSuperClasses (* -> * -> *) Closed Source #
Associated Types type SuperClasses Closed (c :: Closed -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Closed (SuperClasses Closed c) x Source # containsSelf :: FoldConstraints Closed (SuperClasses Closed c) x :- c x Source #
HasSuperClasses (* -> * -> *) Strong Source #
Associated Types type SuperClasses Strong (c :: Strong -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Strong (SuperClasses Strong c) x Source # containsSelf :: FoldConstraints Strong (SuperClasses Strong c) x :- c x Source #
HasSuperClasses (* -> * -> *) Profunctor Source #
Associated Types type SuperClasses Profunctor (c :: Profunctor -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Profunctor (SuperClasses Profunctor c) x Source # containsSelf :: FoldConstraints Profunctor (SuperClasses Profunctor c) x :- c x Source #
HasSuperClasses (* -> *) Monad Source #
Associated Types type SuperClasses Monad (c :: Monad -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Monad (SuperClasses Monad c) x Source # containsSelf :: FoldConstraints Monad (SuperClasses Monad c) x :- c x Source #
HasSuperClasses (* -> *) Functor Source #
Associated Types type SuperClasses Functor (c :: Functor -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Functor (SuperClasses Functor c) x Source # containsSelf :: FoldConstraints Functor (SuperClasses Functor c) x :- c x Source #
HasSuperClasses (* -> *) Applicative Source #
Associated Types type SuperClasses Applicative (c :: Applicative -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Applicative (SuperClasses Applicative c) x Source # containsSelf :: FoldConstraints Applicative (SuperClasses Applicative c) x :- c x Source #
HasSuperClasses (* -> *) Foldable Source #
Associated Types type SuperClasses Foldable (c :: Foldable -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Foldable (SuperClasses Foldable c) x Source # containsSelf :: FoldConstraints Foldable (SuperClasses Foldable c) x :- c x Source #
HasSuperClasses (* -> *) Traversable Source #
Associated Types type SuperClasses Traversable (c :: Traversable -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Traversable (SuperClasses Traversable c) x Source # containsSelf :: FoldConstraints Traversable (SuperClasses Traversable c) x :- c x Source #
HasSuperClasses (* -> *) Alternative Source #
Associated Types type SuperClasses Alternative (c :: Alternative -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Alternative (SuperClasses Alternative c) x Source # containsSelf :: FoldConstraints Alternative (SuperClasses Alternative c) x :- c x Source #
HasSuperClasses (* -> *) Comonad Source #
Associated Types type SuperClasses Comonad (c :: Comonad -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Comonad (SuperClasses Comonad c) x Source # containsSelf :: FoldConstraints Comonad (SuperClasses Comonad c) x :- c x Source #
HasSuperClasses (* -> *) Divisible Source #
Associated Types type SuperClasses Divisible (c :: Divisible -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Divisible (SuperClasses Divisible c) x Source # containsSelf :: FoldConstraints Divisible (SuperClasses Divisible c) x :- c x Source #
HasSuperClasses (* -> *) Decidable Source #
Associated Types type SuperClasses Decidable (c :: Decidable -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Decidable (SuperClasses Decidable c) x Source # containsSelf :: FoldConstraints Decidable (SuperClasses Decidable c) x :- c x Source #
HasSuperClasses (* -> *) Contravariant Source #
Associated Types type SuperClasses Contravariant (c :: Contravariant -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints Contravariant (SuperClasses Contravariant c) x Source # containsSelf :: FoldConstraints Contravariant (SuperClasses Contravariant c) x :- c x Source #
HasSuperClasses (k -> k -> *) (Category k) Source #
Associated Types type SuperClasses (Category k) (c :: Category k -> Constraint) :: [k -> Constraint] Source # Methods superClasses :: c x :- FoldConstraints (Category k) (SuperClasses (Category k) c) x Source # containsSelf :: FoldConstraints (Category k) (SuperClasses (Category k) c) x :- c x Source #

type family (as :: [k]) ++ (bs :: [k]) :: [k] where ... Source #

Equations

a ++ '[] = a
'[] ++ b = b
(a ': as) ++ bs = a ': (as ++ bs)

type family FoldConstraints (cs :: [k -> Constraint]) (x :: k) :: Constraint Source #

Instances

type FoldConstraints k ([] (k -> Constraint)) x Source #
type FoldConstraints k ([] (k -> Constraint)) x = ()
type FoldConstraints k ((:) (k -> Constraint) c cs) x Source #
type FoldConstraints k ((:) (k -> Constraint) c cs) x = (c x, FoldConstraints k cs x)

class Elem (c :: k -> Constraint) (cs :: [k -> Constraint]) where Source #

Minimal complete definition

isElem

Methods

isElem :: Proxy cs -> FoldConstraints cs x :- c x Source #

Instances

Elem k b cs => Elem k b ((:) (k -> Constraint) c cs) Source #
Methods isElem :: Proxy [b -> Constraint] cs -> FoldConstraints b cs x :- ((k -> Constraint) ': c) cs x Source #
Elem k c ((:) (k -> Constraint) c cs) Source #
Methods isElem :: Proxy [c -> Constraint] cs -> FoldConstraints c cs x :- ((k -> Constraint) ': c) cs x Source #

class IsSubset as bs where Source #

Minimal complete definition

isSubset

Methods

isSubset :: as `Subset` bs => Proxy x -> Proxy as -> Proxy bs -> FoldConstraints bs x :- FoldConstraints as x Source #

Instances

IsSubset k ([] (k -> Constraint)) bs Source #
Methods isSubset :: Subset ([k -> Constraint] -> Constraint) bs bs => Proxy [k -> Constraint] x -> Proxy [[k -> Constraint] -> Constraint] bs -> Proxy [[k -> Constraint] -> Constraint] bs -> FoldConstraints [k -> Constraint] bs x :- FoldConstraints [k -> Constraint] bs x Source #
IsSubset k as bs => IsSubset k ((:) (k -> Constraint) a as) bs Source #
Methods isSubset :: Subset (((k -> Constraint) ': a) as -> Constraint) bs bs => Proxy (((k -> Constraint) ': a) as) x -> Proxy [((k -> Constraint) ': a) as -> Constraint] bs -> Proxy [((k -> Constraint) ': a) as -> Constraint] bs -> FoldConstraints (((k -> Constraint) ': a) as) bs x :- FoldConstraints (((k -> Constraint) ': a) as) bs x Source #

type family Subset (xs :: [k]) (ys :: [k]) :: Constraint Source #

Instances

type Subset k ([] k) bs Source #
type Subset k ([] k) bs = ()
type Subset (k -> Constraint) ((:) (k -> Constraint) a as) bs Source #
type Subset (k -> Constraint) ((:) (k -> Constraint) a as) bs = (Elem k a bs, Subset (k -> Constraint) as bs)