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

class Class1 b h | h -> b where Source #

Minimal complete definition

Methods

cls1 :: h x :- b x Source #

Instances

Class1 (* -> * -> *) Bifunctor Biapplicative Source #
Methods cls1 :: h x :- Biapplicative x Source #
Class1 (* -> * -> *) Arrow ArrowZero Source #
Methods cls1 :: h x :- ArrowZero x Source #
Class1 (* -> * -> *) Arrow ArrowChoice Source #
Methods cls1 :: h x :- ArrowChoice x Source #
Class1 (* -> * -> *) Arrow ArrowApply Source #
Methods cls1 :: h x :- ArrowApply x Source #
Class1 (* -> * -> *) Arrow ArrowLoop Source #
Methods cls1 :: h x :- ArrowLoop x Source #
Class1 (* -> * -> *) ArrowZero ArrowPlus Source #
Methods cls1 :: h x :- ArrowPlus x Source #
Class1 (* -> *) Functor Applicative Source #
Methods cls1 :: h x :- Applicative x Source #
Class1 (* -> *) Functor Traversable Source #
Methods cls1 :: h x :- Traversable x Source #
Class1 (* -> *) Functor Comonad Source #
Methods cls1 :: h x :- Comonad x Source #
Class1 (* -> *) Applicative Monad Source #
Methods cls1 :: h x :- Monad x Source #
Class1 (* -> *) Applicative Alternative Source #
Methods cls1 :: h x :- Alternative x Source #
Class1 (* -> *) Divisible Decidable Source #
Methods cls1 :: h x :- Decidable x Source #
Class1 (* -> *) Contravariant Divisible Source #
Methods cls1 :: h x :- Divisible x Source #
Class1 (* -> * -> ) (Category ) Arrow Source #
Methods cls1 :: h x :- Arrow x Source #

Automatically find superclasses by searching the Class1 instances

Minimal complete definition

Methods

Instances

(SuperClass1 k b c, Class1 k c h) => SuperClass1 k b h Source #
Methods scls1 :: h x :- h x Source #
SuperClass1 k b b Source #
Methods scls1 :: h x :- b x Source #