Overloaded.Lists

Another way to desugar overloaded numeric literals. See FromNatural.

An explicit list expression, e.g. [1, True] is desugared to

cons 1 (cons True nil)

Enabled with:

{-# OPTIONS -fplugin=Overloaded -fplugin-opt=Overloaded:Lists #-}

Documentation

class Nil a where

Class for nil, []

See test-suite for ways to define instances for Map. There are at-least two-ways.

Methods

nil :: a

Instances

Nil [a]

Defined in Overloaded.Lists

Methods

nil :: [a]

n ~ Z => Nil (Vec n a)

Defined in Overloaded.Lists

Methods

nil :: Vec n a

xs ~ ([] :: [Type]) => Nil (NP f xs)

Defined in Overloaded.Lists

Methods

nil :: NP f xs

xs ~ ([] :: [[Type]]) => Nil (POP f xs)

Defined in Overloaded.Lists

Methods

nil :: POP f xs

class Cons x ys zs | zs -> x ys where

Class for Cons :.

Methods

cons :: x -> ys -> zs

Instances

Cons a [a] (NonEmpty a)

Defined in Overloaded.Lists

Methods

cons :: a -> [a] -> NonEmpty a

Cons a [a] [a]

Defined in Overloaded.Lists

Methods

cons :: a -> [a] -> [a]

Cons a (Vec n a) (Vec (S n) a)

Defined in Overloaded.Lists

Methods

cons :: a -> Vec n a -> Vec (S n) a

Cons (f x) (NP f xs) (NP f (x ': xs))

Defined in Overloaded.Lists

Methods

cons :: f x -> NP f xs -> NP f (x ': xs)

Cons (NP f xs) (POP f xss) (POP f (xs ': xss))

Defined in Overloaded.Lists

Methods

cons :: NP f xs -> POP f xss -> POP f (xs ': xss)