incipit-base

A Prelude for Polysemy – Base Reexports

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

Version on this page:0.6.1.0@rev:1
LTS Haskell 24.28:0.6.1.1
Stackage Nightly 2026-01-17:0.6.1.1
Latest on Hackage:0.6.1.1

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.6.1.0@sha256:32c46c8d3721fb3956c64c3c3eea654bfcc649ab0040e7eed1eec4e5604ae43d,3331

Module documentation for 0.6.1.0

Used by 2 packages in nightly-2024-11-24(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.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.