Incipit

This is the central module on which to build upon when constructing Preludes for Polysemy libraries. It reexports most core effects.

Documentation

module Incipit.Prelude

module Polysemy

module Polysemy.Async

module Polysemy.AtomicState

module Polysemy.Error

module Polysemy.Fail

module Polysemy.Input

module Polysemy.Output

module Polysemy.Reader

module Polysemy.Resource

module Polysemy.State

module Polysemy.Tagged

module Polysemy.Writer

type (++) a b = Append a b infixr 5

Convenience type alias for concatenating two effect rows.

tryAny :: Member (Embed IO) r => IO a -> Sem r (Either Text a)

Run an IO via Embed and catch all exceptions, returning Either.

tryMaybe :: Member (Embed IO) r => IO a -> Sem r (Maybe a)

Run an IO via Embed and catch all exceptions, returning Maybe.

ignoreException :: Member (Embed IO) r => IO () -> Sem r ()

Run an IO via Embed and catch and ignore all exceptions.

send :: forall e (r :: [(Type -> Type) -> Type -> Type]) a. Member e r => e (Sem r) a -> Sem r a

Embed an effect into a Sem. This is used primarily via makeSem to implement smart constructors.