data-effects-0.4.0.0: src/Data/Effect/Select.hs

{-# LANGUAGE AllowAmbiguousTypes #-}

-- SPDX-License-Identifier: MPL-2.0

module Data.Effect.Select where

data Select r :: Effect where
    Select :: ((a -> r) -> a) -> Select r f a

makeEffectF ''Select