Uniform.ListForm

Documentation

class (Monoid l, Zeros (LF l)) => ListForms l where

Minimal complete definition

mkOne

Associated Types

type LF l

Methods

prependOne :: LF l -> l -> l

appendOne :: l -> LF l -> l

mkOne :: LF l -> l

appendTwo :: l -> l -> l

class Zeros z

a minimal algebraic type with nothing than an identity useful to identify a specific value in a type

Instances

Zeros Bool

Defined in Uniform.Zero

Methods

zero :: Bool

isZero :: Bool -> Bool

notZero :: Bool -> Bool

Zeros Char

Defined in Uniform.Zero

Methods

zero :: Char

isZero :: Char -> Bool

notZero :: Char -> Bool

Zeros Int

Defined in Uniform.Zero

Methods

zero :: Int

isZero :: Int -> Bool

notZero :: Int -> Bool

Zeros ()

Defined in Uniform.Zero

Methods

zero :: ()

isZero :: () -> Bool

notZero :: () -> Bool

Zeros [a]

Defined in Uniform.Zero

Methods

zero :: [a]

isZero :: [a] -> Bool

notZero :: [a] -> Bool

Zeros (Maybe a)

Defined in Uniform.Zero

Methods

zero :: Maybe a

isZero :: Maybe a -> Bool

notZero :: Maybe a -> Bool

(Zeros a, Zeros b) => Zeros (a, b)

Defined in Uniform.Zero

Methods

zero :: (a, b)

isZero :: (a, b) -> Bool

notZero :: (a, b) -> Bool

(Zeros a, Zeros b, Zeros c) => Zeros (a, b, c)

Defined in Uniform.Zero

Methods

zero :: (a, b, c)

isZero :: (a, b, c) -> Bool

notZero :: (a, b, c) -> Bool

(Zeros a, Zeros b, Zeros c, Zeros d) => Zeros (a, b, c, d)

Defined in Uniform.Zero

Methods

zero :: (a, b, c, d)

isZero :: (a, b, c, d) -> Bool

notZero :: (a, b, c, d) -> Bool

(Zeros a, Zeros b, Zeros c, Zeros d, Zeros e) => Zeros (a, b, c, d, e)

Defined in Uniform.Zero

Methods

zero :: (a, b, c, d, e)

isZero :: (a, b, c, d, e) -> Bool

notZero :: (a, b, c, d, e) -> Bool