Data.Separated.SeparatedCons

Documentation

class (f ~ SeparatedConsF g, g ~ SeparatedConsG f) => SeparatedCons f g where

Prepend a value to a separated-like structure.

Minimal complete definition

(+:)

Associated Types

type SeparatedConsF g :: * -> * -> *

type SeparatedConsG f :: * -> * -> *

Methods

(+:) :: a -> f b a -> g a b infixr 5

Instances

SeparatedCons Separated Separated1

Associated Types

type SeparatedConsF (Separated1 :: * -> * -> *) :: * -> * -> *

type SeparatedConsG (Separated :: * -> * -> *) :: * -> * -> *

Methods

(+:) :: a -> Separated b a -> Separated1 a b

SeparatedCons Separated1 Separated

Associated Types

type SeparatedConsF (Separated :: * -> * -> *) :: * -> * -> *

type SeparatedConsG (Separated1 :: * -> * -> *) :: * -> * -> *

Methods

(+:) :: a -> Separated1 b a -> Separated a b