incipit-base

A Prelude for Polysemy – Base Reexports

https://github.com/tek/incipit-core#readme

LTS Haskell 24.39:0.6.1.1
Stackage Nightly 2026-05-06:0.7.0.2
Latest on Hackage:0.7.0.2

See all snapshots incipit-base appears in

BSD-2-Clause-Patent licensed by Torsten Schmits
Maintained by [email protected]
This version can be pinned in stack with:incipit-base-0.7.0.2@sha256:edb100c6ea57491bcfbcccc193992095ca8d8c5d927eef01ff062bf15496ca34,3192

Module documentation for 0.7.0.2

Used by 2 packages in nightly-2026-05-04(full list with versions):
exon, incipit-core

About

This library is part of incipit, a set of Prelude modules for the Polysemy ecosystem. It contains the reexports from base that are inherited by the other two packages.

Usage

Using a custom Prelude requires the use of Cabal mixins to hide the module from base and replace it with IncipitBase:

For hpack:

dependencies:
  - name: base
    version: '>= 4 && < 5'
    mixin:
      - hiding (Prelude)
  - name: incipit-base
    version: '>= 0.3'
    mixin:
      - (IncipitBase as Prelude)
      - hiding (IncipitBase)

For cabal:

build-depends:
    base >=4 && <5, incipit-base >= 0.3
mixins:
    base hiding (Prelude), incipit-base (IncipitBase as Prelude), incipit-base hiding (IncipitBase)

incipit-base used to export Prelude, but stack can’t deal with that.

Changes

0.7.0.0

  • Write trace messages to stderr.

0.6.0.0

  • Add polymorphic type family Undefined that emits a TypeError.

0.5.0.0

  • Add type error concatenation families from type-errors-pretty.

0.4.0.0

  • Add safe versions of Foldable.minimum et al.
  • Export showsPrec, showParen, showString.

0.3.0.0

  • Add safe versions of Fractional division methods.
  • Add fromText.
  • Remove module exports for Prelude to avoid a Stack bug.
  • Rename Incipit modules to IncipitBase and IncipitCore.
  • Export withFrozenCallStack.
  • Add leftA, an Either combinator that runs an applicative action on a Left.

0.2.0.0

  • Add safe, Maybe returning, versions of the methods of Integral.
  • Hide constructors of effect GADTs.
  • Reexport Data.Text.Lazy.Builder.