| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Separated.SeparatedCons
- class (f ~ SeparatedConsF g, g ~ SeparatedConsG f) => SeparatedCons f g where
- type SeparatedConsF g :: * -> * -> *
- type SeparatedConsG f :: * -> * -> *
- (+:) :: a -> f s a -> g a s
Documentation
class (f ~ SeparatedConsF g, g ~ SeparatedConsG f) => SeparatedCons f g where Source
Prepend a value to a separated-like structure.
Associated Types
type SeparatedConsF g :: * -> * -> * Source
type SeparatedConsG f :: * -> * -> * Source