| Copyright | (c) Edward Kmett and Dan Doel 2012-2013 |
|---|---|
| License | BSD3 |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Ermine.Inference.Witness
Contents
Description
- data Witness c t a = Witness [t] !t !(Scope a (Core c) t)
- class HasWitness t c t a | t -> c t a where
- witness :: Lens' t (Witness c t a)
- witnessCore :: Lens' t (Scope a (Core c) t)
- witnessRowConstraints :: Lens' t [t]
- witnessType :: Lens' t t
Witnesses
Instances
| Show c => Show2 (Witness c) | |
| Eq c => Eq2 (Witness c) | |
| Bitraversable (Witness c) | |
| Bifunctor (Witness c) | |
| Bifoldable (Witness c) | |
| Functor (Witness c t) | |
| Foldable (Witness c t) | |
| Traversable (Witness c t) | |
| (Show c, Show t) => Show1 (Witness c t) | |
| (Eq c, Eq t) => Eq1 (Witness c t) | |
| Typeable (* -> * -> * -> *) Witness | |
| (Eq c, Eq t, Eq a) => Eq (Witness c t a) | |
| (Show c, Show t, Show a) => Show (Witness c t a) | |
| Generic (Witness c t a) | |
| HasWitness (Witness c t a) c t a | |
| HasKindVars t t' v v' => HasKindVars (Witness c t a) (Witness c t' a) v v' | |
| HasTypeVars t t' v v' => HasTypeVars (Witness c t a) (Witness c t' a) v v' | |
| type Rep (Witness c t a) |
class HasWitness t c t a | t -> c t a where Source
Minimal complete definition
Methods
witness :: Lens' t (Witness c t a) Source
witnessCore :: Lens' t (Scope a (Core c) t) Source
witnessRowConstraints :: Lens' t [t] Source
witnessType :: Lens' t t Source
Instances
| HasWitness (Witness c t a) c t a |