{-# LANGUAGE DeriveFunctor, DeriveGeneric #-}
module Control.Effect.Choose.Internal
( Choose(..)
) where

import Control.Effect.Class
import GHC.Generics (Generic1)

-- | @since 1.0.0.0
newtype Choose m k
  = Choose (Bool -> m k)
  deriving (a -> Choose m b -> Choose m a
(a -> b) -> Choose m a -> Choose m b
(forall a b. (a -> b) -> Choose m a -> Choose m b)
-> (forall a b. a -> Choose m b -> Choose m a)
-> Functor (Choose m)
forall a b. a -> Choose m b -> Choose m a
forall a b. (a -> b) -> Choose m a -> Choose m b
forall (m :: * -> *) a b.
Functor m =>
a -> Choose m b -> Choose m a
forall (m :: * -> *) a b.
Functor m =>
(a -> b) -> Choose m a -> Choose m b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
<$ :: a -> Choose m b -> Choose m a
$c<$ :: forall (m :: * -> *) a b.
Functor m =>
a -> Choose m b -> Choose m a
fmap :: (a -> b) -> Choose m a -> Choose m b
$cfmap :: forall (m :: * -> *) a b.
Functor m =>
(a -> b) -> Choose m a -> Choose m b
Functor, (forall a. Choose m a -> Rep1 (Choose m) a)
-> (forall a. Rep1 (Choose m) a -> Choose m a)
-> Generic1 (Choose m)
forall a. Rep1 (Choose m) a -> Choose m a
forall a. Choose m a -> Rep1 (Choose m) a
forall k (f :: k -> *).
(forall (a :: k). f a -> Rep1 f a)
-> (forall (a :: k). Rep1 f a -> f a) -> Generic1 f
forall (m :: * -> *) a. Rep1 (Choose m) a -> Choose m a
forall (m :: * -> *) a. Choose m a -> Rep1 (Choose m) a
$cto1 :: forall (m :: * -> *) a. Rep1 (Choose m) a -> Choose m a
$cfrom1 :: forall (m :: * -> *) a. Choose m a -> Rep1 (Choose m) a
Generic1)

instance HFunctor Choose
instance Effect   Choose