Algebra.Core

Raw data

data Handle

stdin

stdout

stderr

type Bytes

readBytes

writeBytes

readHBytes

writeHBytes

type Chunk

readChunk

writeChunk

readHChunk

writeHChunk

readString

writeString

readHString

writeHString

Basic union and product types

data Void

type a :*: b

type a :+: b

Basic group and ring structure

Classes

class Semigroup m

class Monoid m

class Disjonctive m

class Semiring m

class Ring m

class Invertible m

class SubSemi a b

class Unit f

Common monoids

Control monoids

data Endo k a

data StrictEndo a

Meta-monoids

data Dual m

data Product a

Accumulating monoids

data OrdList a

data Interleave a

data Accum a

data Max a

data Min a

data Id a

Fundamental control operations

class Deductive k

class Category k

(<<<)

(>>>)

(+++)

Splitting and Choosing

class Choice k

class Split k

Expression-level type constraints

type Constraint a

c'listOf

c'list

c'int

c'char

c'string

c'float

c'_

Miscellaneous functions

const

(&)

($^)

is

fix

first

second

ifThenElse

bool

extreme

guard

fail

unit

when

unless

tailSafe

headDef

fromMaybe

rmod

inside

swap

Lazily ordering values

comparing

inOrder

insertOrd

invertOrd

data Assoc k a

assoc

Ranges

data Range a

Parallel short-circuit evaluation

amb

unamb

The rest is imported from the Prelude

class IsString a