Copyright | Copyright (C) 2015 Kyle Carter |
---|---|
License | BSD3 |
Maintainer | Kyle Carter <kylcarte@indiana.edu> |
Stability | experimental |
Portability | RankNTypes |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
data VT n f :: k -> * where Source
Witness ØC (Known N Nat n) (VT k n f a) Source | |
(Monad f, Known N Nat n) => Monad (VT * n f) Source | |
Functor f => Functor (VT * n f) Source | |
(Applicative f, Known N Nat n) => Applicative (VT * n f) Source | |
Foldable f => Foldable (VT * n f) Source | |
Traversable f => Traversable (VT * n f) Source | |
Eq (f a) => Eq (VT k n f a) Source | |
(Num (f a), Known N Nat n) => Num (VT k n f a) Source | |
Ord (f a) => Ord (VT k n f a) Source | |
Show (f a) => Show (VT k n f a) Source | |
type WitnessC ØC (Known N Nat n) (VT k n f a) = ØC |