-- | Indicate that something was `Replied`.
module NewtypeZoo.Replied
  ( Replied(Replied)
  , _theReplied
  , theReplied
  ) where

import           Control.DeepSeq (NFData)
import           Control.Monad.Fix (MonadFix)
import           Control.Monad.Zip (MonadZip)
import           Data.Bits       (Bits,FiniteBits)
import           Data.Copointed  (Copointed)
import           Data.Default    (Default)
import           Data.Functor.Classes (Eq1, Ord1, Read1, Show1)
import           Data.Functor.Identity
import           Data.Ix         (Ix)
import           Data.Profunctor (Profunctor, dimap)
import           Data.Pointed    (Pointed)
import           Data.String     (IsString)
import           Data.Typeable   (Typeable)
import           Foreign.Storable (Storable)
import           GHC.Generics    (Generic, Generic1)
import           System.Random   (Random)
import           Test.QuickCheck (Arbitrary)

newtype Replied a = Replied a
  deriving ( Replied a -> Replied a -> Bool
(Replied a -> Replied a -> Bool)
-> (Replied a -> Replied a -> Bool) -> Eq (Replied a)
forall a. Eq a => Replied a -> Replied a -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Replied a -> Replied a -> Bool
$c/= :: forall a. Eq a => Replied a -> Replied a -> Bool
== :: Replied a -> Replied a -> Bool
$c== :: forall a. Eq a => Replied a -> Replied a -> Bool
Eq
           , Eq (Replied a)
Eq (Replied a)
-> (Replied a -> Replied a -> Ordering)
-> (Replied a -> Replied a -> Bool)
-> (Replied a -> Replied a -> Bool)
-> (Replied a -> Replied a -> Bool)
-> (Replied a -> Replied a -> Bool)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a -> Replied a)
-> Ord (Replied a)
Replied a -> Replied a -> Bool
Replied a -> Replied a -> Ordering
Replied a -> Replied a -> Replied a
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
forall a. Ord a => Eq (Replied a)
forall a. Ord a => Replied a -> Replied a -> Bool
forall a. Ord a => Replied a -> Replied a -> Ordering
forall a. Ord a => Replied a -> Replied a -> Replied a
min :: Replied a -> Replied a -> Replied a
$cmin :: forall a. Ord a => Replied a -> Replied a -> Replied a
max :: Replied a -> Replied a -> Replied a
$cmax :: forall a. Ord a => Replied a -> Replied a -> Replied a
>= :: Replied a -> Replied a -> Bool
$c>= :: forall a. Ord a => Replied a -> Replied a -> Bool
> :: Replied a -> Replied a -> Bool
$c> :: forall a. Ord a => Replied a -> Replied a -> Bool
<= :: Replied a -> Replied a -> Bool
$c<= :: forall a. Ord a => Replied a -> Replied a -> Bool
< :: Replied a -> Replied a -> Bool
$c< :: forall a. Ord a => Replied a -> Replied a -> Bool
compare :: Replied a -> Replied a -> Ordering
$ccompare :: forall a. Ord a => Replied a -> Replied a -> Ordering
$cp1Ord :: forall a. Ord a => Eq (Replied a)
Ord
           , ReadPrec [Replied a]
ReadPrec (Replied a)
Int -> ReadS (Replied a)
ReadS [Replied a]
(Int -> ReadS (Replied a))
-> ReadS [Replied a]
-> ReadPrec (Replied a)
-> ReadPrec [Replied a]
-> Read (Replied a)
forall a. Read a => ReadPrec [Replied a]
forall a. Read a => ReadPrec (Replied a)
forall a. Read a => Int -> ReadS (Replied a)
forall a. Read a => ReadS [Replied a]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [Replied a]
$creadListPrec :: forall a. Read a => ReadPrec [Replied a]
readPrec :: ReadPrec (Replied a)
$creadPrec :: forall a. Read a => ReadPrec (Replied a)
readList :: ReadS [Replied a]
$creadList :: forall a. Read a => ReadS [Replied a]
readsPrec :: Int -> ReadS (Replied a)
$creadsPrec :: forall a. Read a => Int -> ReadS (Replied a)
Read
           , Int -> Replied a -> ShowS
[Replied a] -> ShowS
Replied a -> String
(Int -> Replied a -> ShowS)
-> (Replied a -> String)
-> ([Replied a] -> ShowS)
-> Show (Replied a)
forall a. Show a => Int -> Replied a -> ShowS
forall a. Show a => [Replied a] -> ShowS
forall a. Show a => Replied a -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Replied a] -> ShowS
$cshowList :: forall a. Show a => [Replied a] -> ShowS
show :: Replied a -> String
$cshow :: forall a. Show a => Replied a -> String
showsPrec :: Int -> Replied a -> ShowS
$cshowsPrec :: forall a. Show a => Int -> Replied a -> ShowS
Show
           , Replied a -> ()
(Replied a -> ()) -> NFData (Replied a)
forall a. NFData a => Replied a -> ()
forall a. (a -> ()) -> NFData a
rnf :: Replied a -> ()
$crnf :: forall a. NFData a => Replied a -> ()
NFData
           , Replied a -> Bool
(a -> m) -> Replied a -> m
(a -> b -> b) -> b -> Replied a -> b
(forall m. Monoid m => Replied m -> m)
-> (forall m a. Monoid m => (a -> m) -> Replied a -> m)
-> (forall m a. Monoid m => (a -> m) -> Replied a -> m)
-> (forall a b. (a -> b -> b) -> b -> Replied a -> b)
-> (forall a b. (a -> b -> b) -> b -> Replied a -> b)
-> (forall b a. (b -> a -> b) -> b -> Replied a -> b)
-> (forall b a. (b -> a -> b) -> b -> Replied a -> b)
-> (forall a. (a -> a -> a) -> Replied a -> a)
-> (forall a. (a -> a -> a) -> Replied a -> a)
-> (forall a. Replied a -> [a])
-> (forall a. Replied a -> Bool)
-> (forall a. Replied a -> Int)
-> (forall a. Eq a => a -> Replied a -> Bool)
-> (forall a. Ord a => Replied a -> a)
-> (forall a. Ord a => Replied a -> a)
-> (forall a. Num a => Replied a -> a)
-> (forall a. Num a => Replied a -> a)
-> Foldable Replied
forall a. Eq a => a -> Replied a -> Bool
forall a. Num a => Replied a -> a
forall a. Ord a => Replied a -> a
forall m. Monoid m => Replied m -> m
forall a. Replied a -> Bool
forall a. Replied a -> Int
forall a. Replied a -> [a]
forall a. (a -> a -> a) -> Replied a -> a
forall m a. Monoid m => (a -> m) -> Replied a -> m
forall b a. (b -> a -> b) -> b -> Replied a -> b
forall a b. (a -> b -> b) -> b -> Replied a -> b
forall (t :: * -> *).
(forall m. Monoid m => t m -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. t a -> [a])
-> (forall a. t a -> Bool)
-> (forall a. t a -> Int)
-> (forall a. Eq a => a -> t a -> Bool)
-> (forall a. Ord a => t a -> a)
-> (forall a. Ord a => t a -> a)
-> (forall a. Num a => t a -> a)
-> (forall a. Num a => t a -> a)
-> Foldable t
product :: Replied a -> a
$cproduct :: forall a. Num a => Replied a -> a
sum :: Replied a -> a
$csum :: forall a. Num a => Replied a -> a
minimum :: Replied a -> a
$cminimum :: forall a. Ord a => Replied a -> a
maximum :: Replied a -> a
$cmaximum :: forall a. Ord a => Replied a -> a
elem :: a -> Replied a -> Bool
$celem :: forall a. Eq a => a -> Replied a -> Bool
length :: Replied a -> Int
$clength :: forall a. Replied a -> Int
null :: Replied a -> Bool
$cnull :: forall a. Replied a -> Bool
toList :: Replied a -> [a]
$ctoList :: forall a. Replied a -> [a]
foldl1 :: (a -> a -> a) -> Replied a -> a
$cfoldl1 :: forall a. (a -> a -> a) -> Replied a -> a
foldr1 :: (a -> a -> a) -> Replied a -> a
$cfoldr1 :: forall a. (a -> a -> a) -> Replied a -> a
foldl' :: (b -> a -> b) -> b -> Replied a -> b
$cfoldl' :: forall b a. (b -> a -> b) -> b -> Replied a -> b
foldl :: (b -> a -> b) -> b -> Replied a -> b
$cfoldl :: forall b a. (b -> a -> b) -> b -> Replied a -> b
foldr' :: (a -> b -> b) -> b -> Replied a -> b
$cfoldr' :: forall a b. (a -> b -> b) -> b -> Replied a -> b
foldr :: (a -> b -> b) -> b -> Replied a -> b
$cfoldr :: forall a b. (a -> b -> b) -> b -> Replied a -> b
foldMap' :: (a -> m) -> Replied a -> m
$cfoldMap' :: forall m a. Monoid m => (a -> m) -> Replied a -> m
foldMap :: (a -> m) -> Replied a -> m
$cfoldMap :: forall m a. Monoid m => (a -> m) -> Replied a -> m
fold :: Replied m -> m
$cfold :: forall m. Monoid m => Replied m -> m
Foldable
           , Functor Replied
Foldable Replied
Functor Replied
-> Foldable Replied
-> (forall (f :: * -> *) a b.
    Applicative f =>
    (a -> f b) -> Replied a -> f (Replied b))
-> (forall (f :: * -> *) a.
    Applicative f =>
    Replied (f a) -> f (Replied a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> Replied a -> m (Replied b))
-> (forall (m :: * -> *) a.
    Monad m =>
    Replied (m a) -> m (Replied a))
-> Traversable Replied
(a -> f b) -> Replied a -> f (Replied b)
forall (t :: * -> *).
Functor t
-> Foldable t
-> (forall (f :: * -> *) a b.
    Applicative f =>
    (a -> f b) -> t a -> f (t b))
-> (forall (f :: * -> *) a. Applicative f => t (f a) -> f (t a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> t a -> m (t b))
-> (forall (m :: * -> *) a. Monad m => t (m a) -> m (t a))
-> Traversable t
forall (m :: * -> *) a. Monad m => Replied (m a) -> m (Replied a)
forall (f :: * -> *) a.
Applicative f =>
Replied (f a) -> f (Replied a)
forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> Replied a -> m (Replied b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> Replied a -> f (Replied b)
sequence :: Replied (m a) -> m (Replied a)
$csequence :: forall (m :: * -> *) a. Monad m => Replied (m a) -> m (Replied a)
mapM :: (a -> m b) -> Replied a -> m (Replied b)
$cmapM :: forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> Replied a -> m (Replied b)
sequenceA :: Replied (f a) -> f (Replied a)
$csequenceA :: forall (f :: * -> *) a.
Applicative f =>
Replied (f a) -> f (Replied a)
traverse :: (a -> f b) -> Replied a -> f (Replied b)
$ctraverse :: forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> Replied a -> f (Replied b)
$cp2Traversable :: Foldable Replied
$cp1Traversable :: Functor Replied
Traversable
           , a -> Replied b -> Replied a
(a -> b) -> Replied a -> Replied b
(forall a b. (a -> b) -> Replied a -> Replied b)
-> (forall a b. a -> Replied b -> Replied a) -> Functor Replied
forall a b. a -> Replied b -> Replied a
forall a b. (a -> b) -> Replied a -> Replied b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
<$ :: a -> Replied b -> Replied a
$c<$ :: forall a b. a -> Replied b -> Replied a
fmap :: (a -> b) -> Replied a -> Replied b
$cfmap :: forall a b. (a -> b) -> Replied a -> Replied b
Functor
           , Replied a
Replied a -> Default (Replied a)
forall a. a -> Default a
forall a. Default a => Replied a
def :: Replied a
$cdef :: forall a. Default a => Replied a
Default
           , Semigroup (Replied a)
Replied a
Semigroup (Replied a)
-> Replied a
-> (Replied a -> Replied a -> Replied a)
-> ([Replied a] -> Replied a)
-> Monoid (Replied a)
[Replied a] -> Replied a
Replied a -> Replied a -> Replied a
forall a.
Semigroup a -> a -> (a -> a -> a) -> ([a] -> a) -> Monoid a
forall a. Monoid a => Semigroup (Replied a)
forall a. Monoid a => Replied a
forall a. Monoid a => [Replied a] -> Replied a
forall a. Monoid a => Replied a -> Replied a -> Replied a
mconcat :: [Replied a] -> Replied a
$cmconcat :: forall a. Monoid a => [Replied a] -> Replied a
mappend :: Replied a -> Replied a -> Replied a
$cmappend :: forall a. Monoid a => Replied a -> Replied a -> Replied a
mempty :: Replied a
$cmempty :: forall a. Monoid a => Replied a
$cp1Monoid :: forall a. Monoid a => Semigroup (Replied a)
Monoid
           , b -> Replied a -> Replied a
NonEmpty (Replied a) -> Replied a
Replied a -> Replied a -> Replied a
(Replied a -> Replied a -> Replied a)
-> (NonEmpty (Replied a) -> Replied a)
-> (forall b. Integral b => b -> Replied a -> Replied a)
-> Semigroup (Replied a)
forall b. Integral b => b -> Replied a -> Replied a
forall a. Semigroup a => NonEmpty (Replied a) -> Replied a
forall a. Semigroup a => Replied a -> Replied a -> Replied a
forall a b.
(Semigroup a, Integral b) =>
b -> Replied a -> Replied a
forall a.
(a -> a -> a)
-> (NonEmpty a -> a)
-> (forall b. Integral b => b -> a -> a)
-> Semigroup a
stimes :: b -> Replied a -> Replied a
$cstimes :: forall a b.
(Semigroup a, Integral b) =>
b -> Replied a -> Replied a
sconcat :: NonEmpty (Replied a) -> Replied a
$csconcat :: forall a. Semigroup a => NonEmpty (Replied a) -> Replied a
<> :: Replied a -> Replied a -> Replied a
$c<> :: forall a. Semigroup a => Replied a -> Replied a -> Replied a
Semigroup
           , Typeable
           , (forall x. Replied a -> Rep (Replied a) x)
-> (forall x. Rep (Replied a) x -> Replied a)
-> Generic (Replied a)
forall x. Rep (Replied a) x -> Replied a
forall x. Replied a -> Rep (Replied a) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall a x. Rep (Replied a) x -> Replied a
forall a x. Replied a -> Rep (Replied a) x
$cto :: forall a x. Rep (Replied a) x -> Replied a
$cfrom :: forall a x. Replied a -> Rep (Replied a) x
Generic
           , (forall a. Replied a -> Rep1 Replied a)
-> (forall a. Rep1 Replied a -> Replied a) -> Generic1 Replied
forall a. Rep1 Replied a -> Replied a
forall a. Replied a -> Rep1 Replied a
forall k (f :: k -> *).
(forall (a :: k). f a -> Rep1 f a)
-> (forall (a :: k). Rep1 f a -> f a) -> Generic1 f
$cto1 :: forall a. Rep1 Replied a -> Replied a
$cfrom1 :: forall a. Replied a -> Rep1 Replied a
Generic1
           , g -> (Replied a, g)
g -> [Replied a]
(Replied a, Replied a) -> g -> (Replied a, g)
(Replied a, Replied a) -> g -> [Replied a]
(forall g.
 RandomGen g =>
 (Replied a, Replied a) -> g -> (Replied a, g))
-> (forall g. RandomGen g => g -> (Replied a, g))
-> (forall g.
    RandomGen g =>
    (Replied a, Replied a) -> g -> [Replied a])
-> (forall g. RandomGen g => g -> [Replied a])
-> Random (Replied a)
forall a g. (Random a, RandomGen g) => g -> [Replied a]
forall a g. (Random a, RandomGen g) => g -> (Replied a, g)
forall a g.
(Random a, RandomGen g) =>
(Replied a, Replied a) -> g -> [Replied a]
forall a g.
(Random a, RandomGen g) =>
(Replied a, Replied a) -> g -> (Replied a, g)
forall g. RandomGen g => g -> [Replied a]
forall g. RandomGen g => g -> (Replied a, g)
forall g. RandomGen g => (Replied a, Replied a) -> g -> [Replied a]
forall g.
RandomGen g =>
(Replied a, Replied a) -> g -> (Replied a, g)
forall a.
(forall g. RandomGen g => (a, a) -> g -> (a, g))
-> (forall g. RandomGen g => g -> (a, g))
-> (forall g. RandomGen g => (a, a) -> g -> [a])
-> (forall g. RandomGen g => g -> [a])
-> Random a
randoms :: g -> [Replied a]
$crandoms :: forall a g. (Random a, RandomGen g) => g -> [Replied a]
randomRs :: (Replied a, Replied a) -> g -> [Replied a]
$crandomRs :: forall a g.
(Random a, RandomGen g) =>
(Replied a, Replied a) -> g -> [Replied a]
random :: g -> (Replied a, g)
$crandom :: forall a g. (Random a, RandomGen g) => g -> (Replied a, g)
randomR :: (Replied a, Replied a) -> g -> (Replied a, g)
$crandomR :: forall a g.
(Random a, RandomGen g) =>
(Replied a, Replied a) -> g -> (Replied a, g)
Random
           , Gen (Replied a)
Gen (Replied a)
-> (Replied a -> [Replied a]) -> Arbitrary (Replied a)
Replied a -> [Replied a]
forall a. Arbitrary a => Gen (Replied a)
forall a. Arbitrary a => Replied a -> [Replied a]
forall a. Gen a -> (a -> [a]) -> Arbitrary a
shrink :: Replied a -> [Replied a]
$cshrink :: forall a. Arbitrary a => Replied a -> [Replied a]
arbitrary :: Gen (Replied a)
$carbitrary :: forall a. Arbitrary a => Gen (Replied a)
Arbitrary
           , Replied a
Replied a -> Replied a -> Bounded (Replied a)
forall a. a -> a -> Bounded a
forall a. Bounded a => Replied a
maxBound :: Replied a
$cmaxBound :: forall a. Bounded a => Replied a
minBound :: Replied a
$cminBound :: forall a. Bounded a => Replied a
Bounded
           , Int -> Replied a
Replied a -> Int
Replied a -> [Replied a]
Replied a -> Replied a
Replied a -> Replied a -> [Replied a]
Replied a -> Replied a -> Replied a -> [Replied a]
(Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Int -> Replied a)
-> (Replied a -> Int)
-> (Replied a -> [Replied a])
-> (Replied a -> Replied a -> [Replied a])
-> (Replied a -> Replied a -> [Replied a])
-> (Replied a -> Replied a -> Replied a -> [Replied a])
-> Enum (Replied a)
forall a. Enum a => Int -> Replied a
forall a. Enum a => Replied a -> Int
forall a. Enum a => Replied a -> [Replied a]
forall a. Enum a => Replied a -> Replied a
forall a. Enum a => Replied a -> Replied a -> [Replied a]
forall a.
Enum a =>
Replied a -> Replied a -> Replied a -> [Replied a]
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: Replied a -> Replied a -> Replied a -> [Replied a]
$cenumFromThenTo :: forall a.
Enum a =>
Replied a -> Replied a -> Replied a -> [Replied a]
enumFromTo :: Replied a -> Replied a -> [Replied a]
$cenumFromTo :: forall a. Enum a => Replied a -> Replied a -> [Replied a]
enumFromThen :: Replied a -> Replied a -> [Replied a]
$cenumFromThen :: forall a. Enum a => Replied a -> Replied a -> [Replied a]
enumFrom :: Replied a -> [Replied a]
$cenumFrom :: forall a. Enum a => Replied a -> [Replied a]
fromEnum :: Replied a -> Int
$cfromEnum :: forall a. Enum a => Replied a -> Int
toEnum :: Int -> Replied a
$ctoEnum :: forall a. Enum a => Int -> Replied a
pred :: Replied a -> Replied a
$cpred :: forall a. Enum a => Replied a -> Replied a
succ :: Replied a -> Replied a
$csucc :: forall a. Enum a => Replied a -> Replied a
Enum
           , Fractional (Replied a)
Replied a
Fractional (Replied a)
-> Replied a
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> Floating (Replied a)
Replied a -> Replied a
Replied a -> Replied a -> Replied a
forall a. Floating a => Fractional (Replied a)
forall a. Floating a => Replied a
forall a. Floating a => Replied a -> Replied a
forall a. Floating a => Replied a -> Replied a -> Replied a
forall a.
Fractional a
-> a
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> Floating a
log1mexp :: Replied a -> Replied a
$clog1mexp :: forall a. Floating a => Replied a -> Replied a
log1pexp :: Replied a -> Replied a
$clog1pexp :: forall a. Floating a => Replied a -> Replied a
expm1 :: Replied a -> Replied a
$cexpm1 :: forall a. Floating a => Replied a -> Replied a
log1p :: Replied a -> Replied a
$clog1p :: forall a. Floating a => Replied a -> Replied a
atanh :: Replied a -> Replied a
$catanh :: forall a. Floating a => Replied a -> Replied a
acosh :: Replied a -> Replied a
$cacosh :: forall a. Floating a => Replied a -> Replied a
asinh :: Replied a -> Replied a
$casinh :: forall a. Floating a => Replied a -> Replied a
tanh :: Replied a -> Replied a
$ctanh :: forall a. Floating a => Replied a -> Replied a
cosh :: Replied a -> Replied a
$ccosh :: forall a. Floating a => Replied a -> Replied a
sinh :: Replied a -> Replied a
$csinh :: forall a. Floating a => Replied a -> Replied a
atan :: Replied a -> Replied a
$catan :: forall a. Floating a => Replied a -> Replied a
acos :: Replied a -> Replied a
$cacos :: forall a. Floating a => Replied a -> Replied a
asin :: Replied a -> Replied a
$casin :: forall a. Floating a => Replied a -> Replied a
tan :: Replied a -> Replied a
$ctan :: forall a. Floating a => Replied a -> Replied a
cos :: Replied a -> Replied a
$ccos :: forall a. Floating a => Replied a -> Replied a
sin :: Replied a -> Replied a
$csin :: forall a. Floating a => Replied a -> Replied a
logBase :: Replied a -> Replied a -> Replied a
$clogBase :: forall a. Floating a => Replied a -> Replied a -> Replied a
** :: Replied a -> Replied a -> Replied a
$c** :: forall a. Floating a => Replied a -> Replied a -> Replied a
sqrt :: Replied a -> Replied a
$csqrt :: forall a. Floating a => Replied a -> Replied a
log :: Replied a -> Replied a
$clog :: forall a. Floating a => Replied a -> Replied a
exp :: Replied a -> Replied a
$cexp :: forall a. Floating a => Replied a -> Replied a
pi :: Replied a
$cpi :: forall a. Floating a => Replied a
$cp1Floating :: forall a. Floating a => Fractional (Replied a)
Floating
           , Num (Replied a)
Num (Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Rational -> Replied a)
-> Fractional (Replied a)
Rational -> Replied a
Replied a -> Replied a
Replied a -> Replied a -> Replied a
forall a. Fractional a => Num (Replied a)
forall a. Fractional a => Rational -> Replied a
forall a. Fractional a => Replied a -> Replied a
forall a. Fractional a => Replied a -> Replied a -> Replied a
forall a.
Num a
-> (a -> a -> a) -> (a -> a) -> (Rational -> a) -> Fractional a
fromRational :: Rational -> Replied a
$cfromRational :: forall a. Fractional a => Rational -> Replied a
recip :: Replied a -> Replied a
$crecip :: forall a. Fractional a => Replied a -> Replied a
/ :: Replied a -> Replied a -> Replied a
$c/ :: forall a. Fractional a => Replied a -> Replied a -> Replied a
$cp1Fractional :: forall a. Fractional a => Num (Replied a)
Fractional
           , Enum (Replied a)
Real (Replied a)
Real (Replied a)
-> Enum (Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a -> (Replied a, Replied a))
-> (Replied a -> Replied a -> (Replied a, Replied a))
-> (Replied a -> Integer)
-> Integral (Replied a)
Replied a -> Integer
Replied a -> Replied a -> (Replied a, Replied a)
Replied a -> Replied a -> Replied a
forall a. Integral a => Enum (Replied a)
forall a. Integral a => Real (Replied a)
forall a. Integral a => Replied a -> Integer
forall a.
Integral a =>
Replied a -> Replied a -> (Replied a, Replied a)
forall a. Integral a => Replied a -> Replied a -> Replied a
forall a.
Real a
-> Enum a
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> (a, a))
-> (a -> a -> (a, a))
-> (a -> Integer)
-> Integral a
toInteger :: Replied a -> Integer
$ctoInteger :: forall a. Integral a => Replied a -> Integer
divMod :: Replied a -> Replied a -> (Replied a, Replied a)
$cdivMod :: forall a.
Integral a =>
Replied a -> Replied a -> (Replied a, Replied a)
quotRem :: Replied a -> Replied a -> (Replied a, Replied a)
$cquotRem :: forall a.
Integral a =>
Replied a -> Replied a -> (Replied a, Replied a)
mod :: Replied a -> Replied a -> Replied a
$cmod :: forall a. Integral a => Replied a -> Replied a -> Replied a
div :: Replied a -> Replied a -> Replied a
$cdiv :: forall a. Integral a => Replied a -> Replied a -> Replied a
rem :: Replied a -> Replied a -> Replied a
$crem :: forall a. Integral a => Replied a -> Replied a -> Replied a
quot :: Replied a -> Replied a -> Replied a
$cquot :: forall a. Integral a => Replied a -> Replied a -> Replied a
$cp2Integral :: forall a. Integral a => Enum (Replied a)
$cp1Integral :: forall a. Integral a => Real (Replied a)
Integral
           , Integer -> Replied a
Replied a -> Replied a
Replied a -> Replied a -> Replied a
(Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Integer -> Replied a)
-> Num (Replied a)
forall a. Num a => Integer -> Replied a
forall a. Num a => Replied a -> Replied a
forall a. Num a => Replied a -> Replied a -> Replied a
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
fromInteger :: Integer -> Replied a
$cfromInteger :: forall a. Num a => Integer -> Replied a
signum :: Replied a -> Replied a
$csignum :: forall a. Num a => Replied a -> Replied a
abs :: Replied a -> Replied a
$cabs :: forall a. Num a => Replied a -> Replied a
negate :: Replied a -> Replied a
$cnegate :: forall a. Num a => Replied a -> Replied a
* :: Replied a -> Replied a -> Replied a
$c* :: forall a. Num a => Replied a -> Replied a -> Replied a
- :: Replied a -> Replied a -> Replied a
$c- :: forall a. Num a => Replied a -> Replied a -> Replied a
+ :: Replied a -> Replied a -> Replied a
$c+ :: forall a. Num a => Replied a -> Replied a -> Replied a
Num
           , Num (Replied a)
Ord (Replied a)
Num (Replied a)
-> Ord (Replied a) -> (Replied a -> Rational) -> Real (Replied a)
Replied a -> Rational
forall a. Num a -> Ord a -> (a -> Rational) -> Real a
forall a. Real a => Num (Replied a)
forall a. Real a => Ord (Replied a)
forall a. Real a => Replied a -> Rational
toRational :: Replied a -> Rational
$ctoRational :: forall a. Real a => Replied a -> Rational
$cp2Real :: forall a. Real a => Ord (Replied a)
$cp1Real :: forall a. Real a => Num (Replied a)
Real
           , Floating (Replied a)
RealFrac (Replied a)
RealFrac (Replied a)
-> Floating (Replied a)
-> (Replied a -> Integer)
-> (Replied a -> Int)
-> (Replied a -> (Int, Int))
-> (Replied a -> (Integer, Int))
-> (Integer -> Int -> Replied a)
-> (Replied a -> Int)
-> (Replied a -> Replied a)
-> (Int -> Replied a -> Replied a)
-> (Replied a -> Bool)
-> (Replied a -> Bool)
-> (Replied a -> Bool)
-> (Replied a -> Bool)
-> (Replied a -> Bool)
-> (Replied a -> Replied a -> Replied a)
-> RealFloat (Replied a)
Int -> Replied a -> Replied a
Integer -> Int -> Replied a
Replied a -> Bool
Replied a -> Int
Replied a -> Integer
Replied a -> (Int, Int)
Replied a -> (Integer, Int)
Replied a -> Replied a
Replied a -> Replied a -> Replied a
forall a. RealFloat a => Floating (Replied a)
forall a. RealFloat a => RealFrac (Replied a)
forall a. RealFloat a => Int -> Replied a -> Replied a
forall a. RealFloat a => Integer -> Int -> Replied a
forall a. RealFloat a => Replied a -> Bool
forall a. RealFloat a => Replied a -> Int
forall a. RealFloat a => Replied a -> Integer
forall a. RealFloat a => Replied a -> (Int, Int)
forall a. RealFloat a => Replied a -> (Integer, Int)
forall a. RealFloat a => Replied a -> Replied a
forall a. RealFloat a => Replied a -> Replied a -> Replied a
forall a.
RealFrac a
-> Floating a
-> (a -> Integer)
-> (a -> Int)
-> (a -> (Int, Int))
-> (a -> (Integer, Int))
-> (Integer -> Int -> a)
-> (a -> Int)
-> (a -> a)
-> (Int -> a -> a)
-> (a -> Bool)
-> (a -> Bool)
-> (a -> Bool)
-> (a -> Bool)
-> (a -> Bool)
-> (a -> a -> a)
-> RealFloat a
atan2 :: Replied a -> Replied a -> Replied a
$catan2 :: forall a. RealFloat a => Replied a -> Replied a -> Replied a
isIEEE :: Replied a -> Bool
$cisIEEE :: forall a. RealFloat a => Replied a -> Bool
isNegativeZero :: Replied a -> Bool
$cisNegativeZero :: forall a. RealFloat a => Replied a -> Bool
isDenormalized :: Replied a -> Bool
$cisDenormalized :: forall a. RealFloat a => Replied a -> Bool
isInfinite :: Replied a -> Bool
$cisInfinite :: forall a. RealFloat a => Replied a -> Bool
isNaN :: Replied a -> Bool
$cisNaN :: forall a. RealFloat a => Replied a -> Bool
scaleFloat :: Int -> Replied a -> Replied a
$cscaleFloat :: forall a. RealFloat a => Int -> Replied a -> Replied a
significand :: Replied a -> Replied a
$csignificand :: forall a. RealFloat a => Replied a -> Replied a
exponent :: Replied a -> Int
$cexponent :: forall a. RealFloat a => Replied a -> Int
encodeFloat :: Integer -> Int -> Replied a
$cencodeFloat :: forall a. RealFloat a => Integer -> Int -> Replied a
decodeFloat :: Replied a -> (Integer, Int)
$cdecodeFloat :: forall a. RealFloat a => Replied a -> (Integer, Int)
floatRange :: Replied a -> (Int, Int)
$cfloatRange :: forall a. RealFloat a => Replied a -> (Int, Int)
floatDigits :: Replied a -> Int
$cfloatDigits :: forall a. RealFloat a => Replied a -> Int
floatRadix :: Replied a -> Integer
$cfloatRadix :: forall a. RealFloat a => Replied a -> Integer
$cp2RealFloat :: forall a. RealFloat a => Floating (Replied a)
$cp1RealFloat :: forall a. RealFloat a => RealFrac (Replied a)
RealFloat
           , Fractional (Replied a)
Real (Replied a)
Real (Replied a)
-> Fractional (Replied a)
-> (forall b. Integral b => Replied a -> (b, Replied a))
-> (forall b. Integral b => Replied a -> b)
-> (forall b. Integral b => Replied a -> b)
-> (forall b. Integral b => Replied a -> b)
-> (forall b. Integral b => Replied a -> b)
-> RealFrac (Replied a)
Replied a -> b
Replied a -> b
Replied a -> b
Replied a -> b
Replied a -> (b, Replied a)
forall b. Integral b => Replied a -> b
forall b. Integral b => Replied a -> (b, Replied a)
forall a.
Real a
-> Fractional a
-> (forall b. Integral b => a -> (b, a))
-> (forall b. Integral b => a -> b)
-> (forall b. Integral b => a -> b)
-> (forall b. Integral b => a -> b)
-> (forall b. Integral b => a -> b)
-> RealFrac a
forall a. RealFrac a => Fractional (Replied a)
forall a. RealFrac a => Real (Replied a)
forall a b. (RealFrac a, Integral b) => Replied a -> b
forall a b. (RealFrac a, Integral b) => Replied a -> (b, Replied a)
floor :: Replied a -> b
$cfloor :: forall a b. (RealFrac a, Integral b) => Replied a -> b
ceiling :: Replied a -> b
$cceiling :: forall a b. (RealFrac a, Integral b) => Replied a -> b
round :: Replied a -> b
$cround :: forall a b. (RealFrac a, Integral b) => Replied a -> b
truncate :: Replied a -> b
$ctruncate :: forall a b. (RealFrac a, Integral b) => Replied a -> b
properFraction :: Replied a -> (b, Replied a)
$cproperFraction :: forall a b. (RealFrac a, Integral b) => Replied a -> (b, Replied a)
$cp2RealFrac :: forall a. RealFrac a => Fractional (Replied a)
$cp1RealFrac :: forall a. RealFrac a => Real (Replied a)
RealFrac
           , Ord (Replied a)
Ord (Replied a)
-> ((Replied a, Replied a) -> [Replied a])
-> ((Replied a, Replied a) -> Replied a -> Int)
-> ((Replied a, Replied a) -> Replied a -> Int)
-> ((Replied a, Replied a) -> Replied a -> Bool)
-> ((Replied a, Replied a) -> Int)
-> ((Replied a, Replied a) -> Int)
-> Ix (Replied a)
(Replied a, Replied a) -> Int
(Replied a, Replied a) -> [Replied a]
(Replied a, Replied a) -> Replied a -> Bool
(Replied a, Replied a) -> Replied a -> Int
forall a.
Ord a
-> ((a, a) -> [a])
-> ((a, a) -> a -> Int)
-> ((a, a) -> a -> Int)
-> ((a, a) -> a -> Bool)
-> ((a, a) -> Int)
-> ((a, a) -> Int)
-> Ix a
forall a. Ix a => Ord (Replied a)
forall a. Ix a => (Replied a, Replied a) -> Int
forall a. Ix a => (Replied a, Replied a) -> [Replied a]
forall a. Ix a => (Replied a, Replied a) -> Replied a -> Bool
forall a. Ix a => (Replied a, Replied a) -> Replied a -> Int
unsafeRangeSize :: (Replied a, Replied a) -> Int
$cunsafeRangeSize :: forall a. Ix a => (Replied a, Replied a) -> Int
rangeSize :: (Replied a, Replied a) -> Int
$crangeSize :: forall a. Ix a => (Replied a, Replied a) -> Int
inRange :: (Replied a, Replied a) -> Replied a -> Bool
$cinRange :: forall a. Ix a => (Replied a, Replied a) -> Replied a -> Bool
unsafeIndex :: (Replied a, Replied a) -> Replied a -> Int
$cunsafeIndex :: forall a. Ix a => (Replied a, Replied a) -> Replied a -> Int
index :: (Replied a, Replied a) -> Replied a -> Int
$cindex :: forall a. Ix a => (Replied a, Replied a) -> Replied a -> Int
range :: (Replied a, Replied a) -> [Replied a]
$crange :: forall a. Ix a => (Replied a, Replied a) -> [Replied a]
$cp1Ix :: forall a. Ix a => Ord (Replied a)
Ix
           , String -> Replied a
(String -> Replied a) -> IsString (Replied a)
forall a. IsString a => String -> Replied a
forall a. (String -> a) -> IsString a
fromString :: String -> Replied a
$cfromString :: forall a. IsString a => String -> Replied a
IsString
           , Eq (Replied a)
Replied a
Eq (Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a -> Replied a)
-> (Replied a -> Replied a)
-> (Replied a -> Int -> Replied a)
-> (Replied a -> Int -> Replied a)
-> Replied a
-> (Int -> Replied a)
-> (Replied a -> Int -> Replied a)
-> (Replied a -> Int -> Replied a)
-> (Replied a -> Int -> Replied a)
-> (Replied a -> Int -> Bool)
-> (Replied a -> Maybe Int)
-> (Replied a -> Int)
-> (Replied a -> Bool)
-> (Replied a -> Int -> Replied a)
-> (Replied a -> Int -> Replied a)
-> (Replied a -> Int -> Replied a)
-> (Replied a -> Int -> Replied a)
-> (Replied a -> Int -> Replied a)
-> (Replied a -> Int -> Replied a)
-> (Replied a -> Int)
-> Bits (Replied a)
Int -> Replied a
Replied a -> Bool
Replied a -> Int
Replied a -> Maybe Int
Replied a -> Replied a
Replied a -> Int -> Bool
Replied a -> Int -> Replied a
Replied a -> Replied a -> Replied a
forall a.
Eq a
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> a
-> (Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> Bool)
-> (a -> Maybe Int)
-> (a -> Int)
-> (a -> Bool)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int)
-> Bits a
forall a. Bits a => Eq (Replied a)
forall a. Bits a => Replied a
forall a. Bits a => Int -> Replied a
forall a. Bits a => Replied a -> Bool
forall a. Bits a => Replied a -> Int
forall a. Bits a => Replied a -> Maybe Int
forall a. Bits a => Replied a -> Replied a
forall a. Bits a => Replied a -> Int -> Bool
forall a. Bits a => Replied a -> Int -> Replied a
forall a. Bits a => Replied a -> Replied a -> Replied a
popCount :: Replied a -> Int
$cpopCount :: forall a. Bits a => Replied a -> Int
rotateR :: Replied a -> Int -> Replied a
$crotateR :: forall a. Bits a => Replied a -> Int -> Replied a
rotateL :: Replied a -> Int -> Replied a
$crotateL :: forall a. Bits a => Replied a -> Int -> Replied a
unsafeShiftR :: Replied a -> Int -> Replied a
$cunsafeShiftR :: forall a. Bits a => Replied a -> Int -> Replied a
shiftR :: Replied a -> Int -> Replied a
$cshiftR :: forall a. Bits a => Replied a -> Int -> Replied a
unsafeShiftL :: Replied a -> Int -> Replied a
$cunsafeShiftL :: forall a. Bits a => Replied a -> Int -> Replied a
shiftL :: Replied a -> Int -> Replied a
$cshiftL :: forall a. Bits a => Replied a -> Int -> Replied a
isSigned :: Replied a -> Bool
$cisSigned :: forall a. Bits a => Replied a -> Bool
bitSize :: Replied a -> Int
$cbitSize :: forall a. Bits a => Replied a -> Int
bitSizeMaybe :: Replied a -> Maybe Int
$cbitSizeMaybe :: forall a. Bits a => Replied a -> Maybe Int
testBit :: Replied a -> Int -> Bool
$ctestBit :: forall a. Bits a => Replied a -> Int -> Bool
complementBit :: Replied a -> Int -> Replied a
$ccomplementBit :: forall a. Bits a => Replied a -> Int -> Replied a
clearBit :: Replied a -> Int -> Replied a
$cclearBit :: forall a. Bits a => Replied a -> Int -> Replied a
setBit :: Replied a -> Int -> Replied a
$csetBit :: forall a. Bits a => Replied a -> Int -> Replied a
bit :: Int -> Replied a
$cbit :: forall a. Bits a => Int -> Replied a
zeroBits :: Replied a
$czeroBits :: forall a. Bits a => Replied a
rotate :: Replied a -> Int -> Replied a
$crotate :: forall a. Bits a => Replied a -> Int -> Replied a
shift :: Replied a -> Int -> Replied a
$cshift :: forall a. Bits a => Replied a -> Int -> Replied a
complement :: Replied a -> Replied a
$ccomplement :: forall a. Bits a => Replied a -> Replied a
xor :: Replied a -> Replied a -> Replied a
$cxor :: forall a. Bits a => Replied a -> Replied a -> Replied a
.|. :: Replied a -> Replied a -> Replied a
$c.|. :: forall a. Bits a => Replied a -> Replied a -> Replied a
.&. :: Replied a -> Replied a -> Replied a
$c.&. :: forall a. Bits a => Replied a -> Replied a -> Replied a
$cp1Bits :: forall a. Bits a => Eq (Replied a)
Bits
           , Bits (Replied a)
Bits (Replied a)
-> (Replied a -> Int)
-> (Replied a -> Int)
-> (Replied a -> Int)
-> FiniteBits (Replied a)
Replied a -> Int
forall b.
Bits b -> (b -> Int) -> (b -> Int) -> (b -> Int) -> FiniteBits b
forall a. FiniteBits a => Bits (Replied a)
forall a. FiniteBits a => Replied a -> Int
countTrailingZeros :: Replied a -> Int
$ccountTrailingZeros :: forall a. FiniteBits a => Replied a -> Int
countLeadingZeros :: Replied a -> Int
$ccountLeadingZeros :: forall a. FiniteBits a => Replied a -> Int
finiteBitSize :: Replied a -> Int
$cfiniteBitSize :: forall a. FiniteBits a => Replied a -> Int
$cp1FiniteBits :: forall a. FiniteBits a => Bits (Replied a)
FiniteBits
           )
  deriving ( (a -> b -> Bool) -> Replied a -> Replied b -> Bool
(forall a b. (a -> b -> Bool) -> Replied a -> Replied b -> Bool)
-> Eq1 Replied
forall a b. (a -> b -> Bool) -> Replied a -> Replied b -> Bool
forall (f :: * -> *).
(forall a b. (a -> b -> Bool) -> f a -> f b -> Bool) -> Eq1 f
liftEq :: (a -> b -> Bool) -> Replied a -> Replied b -> Bool
$cliftEq :: forall a b. (a -> b -> Bool) -> Replied a -> Replied b -> Bool
Eq1
           , Eq1 Replied
Eq1 Replied
-> (forall a b.
    (a -> b -> Ordering) -> Replied a -> Replied b -> Ordering)
-> Ord1 Replied
(a -> b -> Ordering) -> Replied a -> Replied b -> Ordering
forall a b.
(a -> b -> Ordering) -> Replied a -> Replied b -> Ordering
forall (f :: * -> *).
Eq1 f
-> (forall a b. (a -> b -> Ordering) -> f a -> f b -> Ordering)
-> Ord1 f
liftCompare :: (a -> b -> Ordering) -> Replied a -> Replied b -> Ordering
$cliftCompare :: forall a b.
(a -> b -> Ordering) -> Replied a -> Replied b -> Ordering
$cp1Ord1 :: Eq1 Replied
Ord1
           , ReadPrec a -> ReadPrec [a] -> ReadPrec (Replied a)
ReadPrec a -> ReadPrec [a] -> ReadPrec [Replied a]
(Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Replied a)
(Int -> ReadS a) -> ReadS [a] -> ReadS [Replied a]
(forall a.
 (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Replied a))
-> (forall a. (Int -> ReadS a) -> ReadS [a] -> ReadS [Replied a])
-> (forall a. ReadPrec a -> ReadPrec [a] -> ReadPrec (Replied a))
-> (forall a. ReadPrec a -> ReadPrec [a] -> ReadPrec [Replied a])
-> Read1 Replied
forall a. ReadPrec a -> ReadPrec [a] -> ReadPrec [Replied a]
forall a. ReadPrec a -> ReadPrec [a] -> ReadPrec (Replied a)
forall a. (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Replied a)
forall a. (Int -> ReadS a) -> ReadS [a] -> ReadS [Replied a]
forall (f :: * -> *).
(forall a. (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (f a))
-> (forall a. (Int -> ReadS a) -> ReadS [a] -> ReadS [f a])
-> (forall a. ReadPrec a -> ReadPrec [a] -> ReadPrec (f a))
-> (forall a. ReadPrec a -> ReadPrec [a] -> ReadPrec [f a])
-> Read1 f
liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Replied a]
$cliftReadListPrec :: forall a. ReadPrec a -> ReadPrec [a] -> ReadPrec [Replied a]
liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Replied a)
$cliftReadPrec :: forall a. ReadPrec a -> ReadPrec [a] -> ReadPrec (Replied a)
liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Replied a]
$cliftReadList :: forall a. (Int -> ReadS a) -> ReadS [a] -> ReadS [Replied a]
liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Replied a)
$cliftReadsPrec :: forall a. (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Replied a)
Read1
           , (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Replied a -> ShowS
(Int -> a -> ShowS) -> ([a] -> ShowS) -> [Replied a] -> ShowS
(forall a.
 (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Replied a -> ShowS)
-> (forall a.
    (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Replied a] -> ShowS)
-> Show1 Replied
forall a.
(Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Replied a -> ShowS
forall a.
(Int -> a -> ShowS) -> ([a] -> ShowS) -> [Replied a] -> ShowS
forall (f :: * -> *).
(forall a.
 (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS)
-> (forall a.
    (Int -> a -> ShowS) -> ([a] -> ShowS) -> [f a] -> ShowS)
-> Show1 f
liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Replied a] -> ShowS
$cliftShowList :: forall a.
(Int -> a -> ShowS) -> ([a] -> ShowS) -> [Replied a] -> ShowS
liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Replied a -> ShowS
$cliftShowsPrec :: forall a.
(Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Replied a -> ShowS
Show1
           , a -> Replied a
(forall a. a -> Replied a) -> Pointed Replied
forall a. a -> Replied a
forall (p :: * -> *). (forall a. a -> p a) -> Pointed p
point :: a -> Replied a
$cpoint :: forall a. a -> Replied a
Pointed
           , Replied a -> a
(forall a. Replied a -> a) -> Copointed Replied
forall a. Replied a -> a
forall (p :: * -> *). (forall a. p a -> a) -> Copointed p
copoint :: Replied a -> a
$ccopoint :: forall a. Replied a -> a
Copointed
           , Functor Replied
a -> Replied a
Functor Replied
-> (forall a. a -> Replied a)
-> (forall a b. Replied (a -> b) -> Replied a -> Replied b)
-> (forall a b c.
    (a -> b -> c) -> Replied a -> Replied b -> Replied c)
-> (forall a b. Replied a -> Replied b -> Replied b)
-> (forall a b. Replied a -> Replied b -> Replied a)
-> Applicative Replied
Replied a -> Replied b -> Replied b
Replied a -> Replied b -> Replied a
Replied (a -> b) -> Replied a -> Replied b
(a -> b -> c) -> Replied a -> Replied b -> Replied c
forall a. a -> Replied a
forall a b. Replied a -> Replied b -> Replied a
forall a b. Replied a -> Replied b -> Replied b
forall a b. Replied (a -> b) -> Replied a -> Replied b
forall a b c. (a -> b -> c) -> Replied a -> Replied b -> Replied c
forall (f :: * -> *).
Functor f
-> (forall a. a -> f a)
-> (forall a b. f (a -> b) -> f a -> f b)
-> (forall a b c. (a -> b -> c) -> f a -> f b -> f c)
-> (forall a b. f a -> f b -> f b)
-> (forall a b. f a -> f b -> f a)
-> Applicative f
<* :: Replied a -> Replied b -> Replied a
$c<* :: forall a b. Replied a -> Replied b -> Replied a
*> :: Replied a -> Replied b -> Replied b
$c*> :: forall a b. Replied a -> Replied b -> Replied b
liftA2 :: (a -> b -> c) -> Replied a -> Replied b -> Replied c
$cliftA2 :: forall a b c. (a -> b -> c) -> Replied a -> Replied b -> Replied c
<*> :: Replied (a -> b) -> Replied a -> Replied b
$c<*> :: forall a b. Replied (a -> b) -> Replied a -> Replied b
pure :: a -> Replied a
$cpure :: forall a. a -> Replied a
$cp1Applicative :: Functor Replied
Applicative
           , Monad Replied
Monad Replied
-> (forall a. (a -> Replied a) -> Replied a) -> MonadFix Replied
(a -> Replied a) -> Replied a
forall a. (a -> Replied a) -> Replied a
forall (m :: * -> *).
Monad m -> (forall a. (a -> m a) -> m a) -> MonadFix m
mfix :: (a -> Replied a) -> Replied a
$cmfix :: forall a. (a -> Replied a) -> Replied a
$cp1MonadFix :: Monad Replied
MonadFix
           , Applicative Replied
a -> Replied a
Applicative Replied
-> (forall a b. Replied a -> (a -> Replied b) -> Replied b)
-> (forall a b. Replied a -> Replied b -> Replied b)
-> (forall a. a -> Replied a)
-> Monad Replied
Replied a -> (a -> Replied b) -> Replied b
Replied a -> Replied b -> Replied b
forall a. a -> Replied a
forall a b. Replied a -> Replied b -> Replied b
forall a b. Replied a -> (a -> Replied b) -> Replied b
forall (m :: * -> *).
Applicative m
-> (forall a b. m a -> (a -> m b) -> m b)
-> (forall a b. m a -> m b -> m b)
-> (forall a. a -> m a)
-> Monad m
return :: a -> Replied a
$creturn :: forall a. a -> Replied a
>> :: Replied a -> Replied b -> Replied b
$c>> :: forall a b. Replied a -> Replied b -> Replied b
>>= :: Replied a -> (a -> Replied b) -> Replied b
$c>>= :: forall a b. Replied a -> (a -> Replied b) -> Replied b
$cp1Monad :: Applicative Replied
Monad
           , Monad Replied
Monad Replied
-> (forall a b. Replied a -> Replied b -> Replied (a, b))
-> (forall a b c.
    (a -> b -> c) -> Replied a -> Replied b -> Replied c)
-> (forall a b. Replied (a, b) -> (Replied a, Replied b))
-> MonadZip Replied
Replied a -> Replied b -> Replied (a, b)
Replied (a, b) -> (Replied a, Replied b)
(a -> b -> c) -> Replied a -> Replied b -> Replied c
forall a b. Replied a -> Replied b -> Replied (a, b)
forall a b. Replied (a, b) -> (Replied a, Replied b)
forall a b c. (a -> b -> c) -> Replied a -> Replied b -> Replied c
forall (m :: * -> *).
Monad m
-> (forall a b. m a -> m b -> m (a, b))
-> (forall a b c. (a -> b -> c) -> m a -> m b -> m c)
-> (forall a b. m (a, b) -> (m a, m b))
-> MonadZip m
munzip :: Replied (a, b) -> (Replied a, Replied b)
$cmunzip :: forall a b. Replied (a, b) -> (Replied a, Replied b)
mzipWith :: (a -> b -> c) -> Replied a -> Replied b -> Replied c
$cmzipWith :: forall a b c. (a -> b -> c) -> Replied a -> Replied b -> Replied c
mzip :: Replied a -> Replied b -> Replied (a, b)
$cmzip :: forall a b. Replied a -> Replied b -> Replied (a, b)
$cp1MonadZip :: Monad Replied
MonadZip

           )
           via Identity

_theReplied :: Replied x -> x
_theReplied :: Replied x -> x
_theReplied (Replied !x
x) = x
x
{-# INLINE _theReplied #-}

theReplied :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Replied a) (f (Replied b))
theReplied :: p a (f b) -> p (Replied a) (f (Replied b))
theReplied = (Replied a -> a)
-> (f b -> f (Replied b))
-> p a (f b)
-> p (Replied a) (f (Replied b))
forall (p :: * -> * -> *) a b c d.
Profunctor p =>
(a -> b) -> (c -> d) -> p b c -> p a d
dimap Replied a -> a
forall a. Replied a -> a
_theReplied ((b -> Replied b) -> f b -> f (Replied b)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap b -> Replied b
forall a. a -> Replied a
Replied)
{-# INLINE theReplied #-}