heftia-0.3.1.0: higher-order effects done right
Copyright(c) 2023-2024 Yamada Ryo
LicenseMPL-2.0 (see the file LICENSE)
Maintainerymdfield@outlook.jp
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageGHC2021

Data.Free.Sum

Description

Binary sums for first-order effects.

Documentation

type (+) = (:+:) infixr 5 Source #

caseF :: (f a -> r) -> (g a -> r) -> (f + g) a -> r Source #

absurdL :: (Nop + f) ~> f Source #

absurdR :: (f + Nop) ~> f Source #

swapSum :: (f + g) a -> (g + f) a Source #

pattern L1 :: f p -> (:+:) f g p #

pattern R1 :: g p -> (:+:) f g p #