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