uniform-algebras-0.1.2: Pointless functions and a simplistic zero and monoid
Safe HaskellSafe-Inferred
LanguageHaskell2010

Uniform.ListForm

Synopsis

Documentation

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

Minimal complete definition

mkOne

Associated Types

type LF l Source #

Methods

prependOne :: LF l -> l -> l Source #

appendOne :: l -> LF l -> l Source #

mkOne :: LF l -> l Source #

appendTwo :: l -> l -> l Source #

class Zeros z Source #

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

Instances

Instances details
Zeros Bool Source # 
Instance details

Defined in Uniform.Zero

Zeros Char Source # 
Instance details

Defined in Uniform.Zero

Zeros Int Source # 
Instance details

Defined in Uniform.Zero

Zeros () Source # 
Instance details

Defined in Uniform.Zero

Methods

zero :: () Source #

isZero :: () -> Bool Source #

notZero :: () -> Bool Source #

Zeros [a] Source # 
Instance details

Defined in Uniform.Zero

Methods

zero :: [a] Source #

isZero :: [a] -> Bool Source #

notZero :: [a] -> Bool Source #

Zeros (Maybe a) Source # 
Instance details

Defined in Uniform.Zero

(Zeros a, Zeros b) => Zeros (a, b) Source # 
Instance details

Defined in Uniform.Zero

Methods

zero :: (a, b) Source #

isZero :: (a, b) -> Bool Source #

notZero :: (a, b) -> Bool Source #

(Zeros a, Zeros b, Zeros c) => Zeros (a, b, c) Source # 
Instance details

Defined in Uniform.Zero

Methods

zero :: (a, b, c) Source #

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

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

(Zeros a, Zeros b, Zeros c, Zeros d) => Zeros (a, b, c, d) Source # 
Instance details

Defined in Uniform.Zero

Methods

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

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

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

(Zeros a, Zeros b, Zeros c, Zeros d, Zeros e) => Zeros (a, b, c, d, e) Source # 
Instance details

Defined in Uniform.Zero

Methods

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

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

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