Precursor

Features

No more String

String is removed in favor of lazy Text.

No more Num

The Num typeclass is now just for types which can be converted from integer literals.

Semigroups

Semigroups are now in scope by default, as well as some useful wrappers.

Semirings

A Semiring has the operations + and *, and the members one and zero. Bool is a Semiring, as is Integer, etc. Num is not a superclass of Semiring.

Sensibly strict

Several functions, such as foldl, sum, product, etc. are strict as default.

No unnecessary Monads

Functions such as sequence, >>, and replicateM are removed in favor of the equivalent sequenceA, *>, and replicateA on Applicatives.

Fewer partial functions

Functions like head, last, minimum, etc. now return Nothing when called on empty structures. tail and init return empty lists when called on empty lists.

Data structures

Map and Set (the strict variants) are now in scope by default, with a minimal, non-colliding aliased api.

Transformers

State is now in scope by default.

Debugging

Handy functions like trace, traceShow, and notImplemented are in scope by default. They give warnings when used so they can't be forgotten.

Other handy functions

An O(n*log n) nub, foldr2, converge, bool, and others.

Documentation

module Precursor.Algebra.Enum

module Precursor.Algebra.Eq

module Precursor.Algebra.Monoid

module Precursor.Algebra.Ord

module Precursor.Algebra.Ring

module Precursor.Algebra.Semigroup

module Precursor.Algebra.Semiring

module Precursor.Coerce

module Precursor.Control.Alternative

module Precursor.Control.Applicative

module Precursor.Control.Bifunctor

module Precursor.Control.Category

module Precursor.Control.Functor

module Precursor.Control.Monad

module Precursor.Control.State

module Precursor.Data.Bool

module Precursor.Data.Either

module Precursor.Data.List

module Precursor.Data.Map

module Precursor.Data.Maybe

module Precursor.Data.Set

module Precursor.Data.Tuple

module Precursor.Debug

module Precursor.Function

module Precursor.Numeric.Integral

module Precursor.Numeric.Num

module Precursor.Structure.Foldable

module Precursor.Structure.Traversable

module Precursor.System.IO

module Precursor.Text.Show

module Precursor.Text.Text