NewtypeZoo.Responded

Indicate that something was Responded.

Documentation

newtype Responded a

Constructors

Responded a

Instances

Monad Responded

Defined in NewtypeZoo.Responded

Methods

(>>=) :: Responded a -> (a -> Responded b) -> Responded b

(>>) :: Responded a -> Responded b -> Responded b

return :: a -> Responded a

fail :: String -> Responded a

Functor Responded

Defined in NewtypeZoo.Responded

Methods

fmap :: (a -> b) -> Responded a -> Responded b

(<$) :: a -> Responded b -> Responded a

MonadFix Responded

Defined in NewtypeZoo.Responded

Methods

mfix :: (a -> Responded a) -> Responded a

Applicative Responded

Defined in NewtypeZoo.Responded

Methods

pure :: a -> Responded a

(<*>) :: Responded (a -> b) -> Responded a -> Responded b

liftA2 :: (a -> b -> c) -> Responded a -> Responded b -> Responded c

(*>) :: Responded a -> Responded b -> Responded b

(<*) :: Responded a -> Responded b -> Responded a

Foldable Responded

Defined in NewtypeZoo.Responded

Methods

fold :: Monoid m => Responded m -> m

foldMap :: Monoid m => (a -> m) -> Responded a -> m

foldr :: (a -> b -> b) -> b -> Responded a -> b

foldr' :: (a -> b -> b) -> b -> Responded a -> b

foldl :: (b -> a -> b) -> b -> Responded a -> b

foldl' :: (b -> a -> b) -> b -> Responded a -> b

foldr1 :: (a -> a -> a) -> Responded a -> a

foldl1 :: (a -> a -> a) -> Responded a -> a

toList :: Responded a -> [a]

null :: Responded a -> Bool

length :: Responded a -> Int

elem :: Eq a => a -> Responded a -> Bool

maximum :: Ord a => Responded a -> a

minimum :: Ord a => Responded a -> a

sum :: Num a => Responded a -> a

product :: Num a => Responded a -> a

Traversable Responded

Defined in NewtypeZoo.Responded

Methods

traverse :: Applicative f => (a -> f b) -> Responded a -> f (Responded b)

sequenceA :: Applicative f => Responded (f a) -> f (Responded a)

mapM :: Monad m => (a -> m b) -> Responded a -> m (Responded b)

sequence :: Monad m => Responded (m a) -> m (Responded a)

Eq1 Responded

Defined in NewtypeZoo.Responded

Methods

liftEq :: (a -> b -> Bool) -> Responded a -> Responded b -> Bool

Ord1 Responded

Defined in NewtypeZoo.Responded

Methods

liftCompare :: (a -> b -> Ordering) -> Responded a -> Responded b -> Ordering

Read1 Responded

Defined in NewtypeZoo.Responded

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Responded a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Responded a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Responded a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Responded a]

Show1 Responded

Defined in NewtypeZoo.Responded

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Responded a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Responded a] -> ShowS

MonadZip Responded

Defined in NewtypeZoo.Responded

Methods

mzip :: Responded a -> Responded b -> Responded (a, b)

mzipWith :: (a -> b -> c) -> Responded a -> Responded b -> Responded c

munzip :: Responded (a, b) -> (Responded a, Responded b)

Pointed Responded

Defined in NewtypeZoo.Responded

Methods

point :: a -> Responded a

Copointed Responded

Defined in NewtypeZoo.Responded

Methods

copoint :: Responded a -> a

Bounded a => Bounded (Responded a)

Defined in NewtypeZoo.Responded

Methods

minBound :: Responded a

maxBound :: Responded a

Enum a => Enum (Responded a)

Defined in NewtypeZoo.Responded

Methods

succ :: Responded a -> Responded a

pred :: Responded a -> Responded a

toEnum :: Int -> Responded a

fromEnum :: Responded a -> Int

enumFrom :: Responded a -> [Responded a]

enumFromThen :: Responded a -> Responded a -> [Responded a]

enumFromTo :: Responded a -> Responded a -> [Responded a]

enumFromThenTo :: Responded a -> Responded a -> Responded a -> [Responded a]

Eq a => Eq (Responded a)

Defined in NewtypeZoo.Responded

Methods

(==) :: Responded a -> Responded a -> Bool

(/=) :: Responded a -> Responded a -> Bool

Floating a => Floating (Responded a)

Defined in NewtypeZoo.Responded

Methods

pi :: Responded a

exp :: Responded a -> Responded a

log :: Responded a -> Responded a

sqrt :: Responded a -> Responded a

(**) :: Responded a -> Responded a -> Responded a

logBase :: Responded a -> Responded a -> Responded a

sin :: Responded a -> Responded a

cos :: Responded a -> Responded a

tan :: Responded a -> Responded a

asin :: Responded a -> Responded a

acos :: Responded a -> Responded a

atan :: Responded a -> Responded a

sinh :: Responded a -> Responded a

cosh :: Responded a -> Responded a

tanh :: Responded a -> Responded a

asinh :: Responded a -> Responded a

acosh :: Responded a -> Responded a

atanh :: Responded a -> Responded a

log1p :: Responded a -> Responded a

expm1 :: Responded a -> Responded a

log1pexp :: Responded a -> Responded a

log1mexp :: Responded a -> Responded a

Fractional a => Fractional (Responded a)

Defined in NewtypeZoo.Responded

Methods

(/) :: Responded a -> Responded a -> Responded a

recip :: Responded a -> Responded a

fromRational :: Rational -> Responded a

Integral a => Integral (Responded a)

Defined in NewtypeZoo.Responded

Methods

quot :: Responded a -> Responded a -> Responded a

rem :: Responded a -> Responded a -> Responded a

div :: Responded a -> Responded a -> Responded a

mod :: Responded a -> Responded a -> Responded a

quotRem :: Responded a -> Responded a -> (Responded a, Responded a)

divMod :: Responded a -> Responded a -> (Responded a, Responded a)

toInteger :: Responded a -> Integer

Num a => Num (Responded a)

Defined in NewtypeZoo.Responded

Methods

(+) :: Responded a -> Responded a -> Responded a

(-) :: Responded a -> Responded a -> Responded a

(*) :: Responded a -> Responded a -> Responded a

negate :: Responded a -> Responded a

abs :: Responded a -> Responded a

signum :: Responded a -> Responded a

fromInteger :: Integer -> Responded a

Ord a => Ord (Responded a)

Defined in NewtypeZoo.Responded

Methods

compare :: Responded a -> Responded a -> Ordering

(<) :: Responded a -> Responded a -> Bool

(<=) :: Responded a -> Responded a -> Bool

(>) :: Responded a -> Responded a -> Bool

(>=) :: Responded a -> Responded a -> Bool

max :: Responded a -> Responded a -> Responded a

min :: Responded a -> Responded a -> Responded a

Read a => Read (Responded a)

Defined in NewtypeZoo.Responded

Methods

readsPrec :: Int -> ReadS (Responded a)

readList :: ReadS [Responded a]

readPrec :: ReadPrec (Responded a)

readListPrec :: ReadPrec [Responded a]

Real a => Real (Responded a)

Defined in NewtypeZoo.Responded

Methods

toRational :: Responded a -> Rational

RealFloat a => RealFloat (Responded a)

Defined in NewtypeZoo.Responded

Methods

floatRadix :: Responded a -> Integer

floatDigits :: Responded a -> Int

floatRange :: Responded a -> (Int, Int)

decodeFloat :: Responded a -> (Integer, Int)

encodeFloat :: Integer -> Int -> Responded a

exponent :: Responded a -> Int

significand :: Responded a -> Responded a

scaleFloat :: Int -> Responded a -> Responded a

isNaN :: Responded a -> Bool

isInfinite :: Responded a -> Bool

isDenormalized :: Responded a -> Bool

isNegativeZero :: Responded a -> Bool

isIEEE :: Responded a -> Bool

atan2 :: Responded a -> Responded a -> Responded a

RealFrac a => RealFrac (Responded a)

Defined in NewtypeZoo.Responded

Methods

properFraction :: Integral b => Responded a -> (b, Responded a)

truncate :: Integral b => Responded a -> b

round :: Integral b => Responded a -> b

ceiling :: Integral b => Responded a -> b

floor :: Integral b => Responded a -> b

Show a => Show (Responded a)

Defined in NewtypeZoo.Responded

Methods

showsPrec :: Int -> Responded a -> ShowS

show :: Responded a -> String

showList :: [Responded a] -> ShowS

Ix a => Ix (Responded a)

Defined in NewtypeZoo.Responded

Methods

range :: (Responded a, Responded a) -> [Responded a]

index :: (Responded a, Responded a) -> Responded a -> Int

unsafeIndex :: (Responded a, Responded a) -> Responded a -> Int

inRange :: (Responded a, Responded a) -> Responded a -> Bool

rangeSize :: (Responded a, Responded a) -> Int

unsafeRangeSize :: (Responded a, Responded a) -> Int

IsString a => IsString (Responded a)

Defined in NewtypeZoo.Responded

Methods

fromString :: String -> Responded a

Generic (Responded a)

Defined in NewtypeZoo.Responded

Associated Types

type Rep (Responded a) :: Type -> Type

Methods

from :: Responded a -> Rep (Responded a) x

to :: Rep (Responded a) x -> Responded a

Semigroup a => Semigroup (Responded a)

Defined in NewtypeZoo.Responded

Methods

(<>) :: Responded a -> Responded a -> Responded a

sconcat :: NonEmpty (Responded a) -> Responded a

stimes :: Integral b => b -> Responded a -> Responded a

Monoid a => Monoid (Responded a)

Defined in NewtypeZoo.Responded

Methods

mempty :: Responded a

mappend :: Responded a -> Responded a -> Responded a

mconcat :: [Responded a] -> Responded a

Arbitrary a => Arbitrary (Responded a)

Defined in NewtypeZoo.Responded

Methods

arbitrary :: Gen (Responded a)

shrink :: Responded a -> [Responded a]

Bits a => Bits (Responded a)

Defined in NewtypeZoo.Responded

Methods

(.&.) :: Responded a -> Responded a -> Responded a

(.|.) :: Responded a -> Responded a -> Responded a

xor :: Responded a -> Responded a -> Responded a

complement :: Responded a -> Responded a

shift :: Responded a -> Int -> Responded a

rotate :: Responded a -> Int -> Responded a

zeroBits :: Responded a

bit :: Int -> Responded a

setBit :: Responded a -> Int -> Responded a

clearBit :: Responded a -> Int -> Responded a

complementBit :: Responded a -> Int -> Responded a

testBit :: Responded a -> Int -> Bool

bitSizeMaybe :: Responded a -> Maybe Int

bitSize :: Responded a -> Int

isSigned :: Responded a -> Bool

shiftL :: Responded a -> Int -> Responded a

unsafeShiftL :: Responded a -> Int -> Responded a

shiftR :: Responded a -> Int -> Responded a

unsafeShiftR :: Responded a -> Int -> Responded a

rotateL :: Responded a -> Int -> Responded a

rotateR :: Responded a -> Int -> Responded a

popCount :: Responded a -> Int

FiniteBits a => FiniteBits (Responded a)

Defined in NewtypeZoo.Responded

Methods

finiteBitSize :: Responded a -> Int

countLeadingZeros :: Responded a -> Int

countTrailingZeros :: Responded a -> Int

Default a => Default (Responded a)

Defined in NewtypeZoo.Responded

Methods

def :: Responded a

NFData a => NFData (Responded a)

Defined in NewtypeZoo.Responded

Methods

rnf :: Responded a -> ()

Random a => Random (Responded a)

Defined in NewtypeZoo.Responded

Methods

randomR :: RandomGen g => (Responded a, Responded a) -> g -> (Responded a, g)

random :: RandomGen g => g -> (Responded a, g)

randomRs :: RandomGen g => (Responded a, Responded a) -> g -> [Responded a]

randoms :: RandomGen g => g -> [Responded a]

randomRIO :: (Responded a, Responded a) -> IO (Responded a)

randomIO :: IO (Responded a)

Generic1 Responded

Defined in NewtypeZoo.Responded

Associated Types

type Rep1 Responded :: k -> Type

Methods

from1 :: Responded a -> Rep1 Responded a

to1 :: Rep1 Responded a -> Responded a

type Rep (Responded a)

Defined in NewtypeZoo.Responded

type Rep (Responded a) = D1 (MetaData "Responded" "NewtypeZoo.Responded" "newtype-zoo-1.2.0.0-2H9swzmDOHJ3G5x4fWrwAi" True) (C1 (MetaCons "Responded" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

type Rep1 Responded

Defined in NewtypeZoo.Responded

type Rep1 Responded = D1 (MetaData "Responded" "NewtypeZoo.Responded" "newtype-zoo-1.2.0.0-2H9swzmDOHJ3G5x4fWrwAi" True) (C1 (MetaCons "Responded" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

_theResponded :: Responded x -> x

theResponded :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Responded a) (f (Responded b))