NewtypeZoo.Requested

Indicate that something is Requested.

Documentation

newtype Requested a

Constructors

Requested a

Instances

Monad Requested

Defined in NewtypeZoo.Requested

Methods

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

(>>) :: Requested a -> Requested b -> Requested b

return :: a -> Requested a

Functor Requested

Defined in NewtypeZoo.Requested

Methods

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

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

MonadFix Requested

Defined in NewtypeZoo.Requested

Methods

mfix :: (a -> Requested a) -> Requested a

Applicative Requested

Defined in NewtypeZoo.Requested

Methods

pure :: a -> Requested a

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

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

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

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

Foldable Requested

Defined in NewtypeZoo.Requested

Methods

fold :: Monoid m => Requested m -> m

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

foldMap' :: Monoid m => (a -> m) -> Requested a -> m

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

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

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

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

foldr1 :: (a -> a -> a) -> Requested a -> a

foldl1 :: (a -> a -> a) -> Requested a -> a

toList :: Requested a -> [a]

null :: Requested a -> Bool

length :: Requested a -> Int

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

maximum :: Ord a => Requested a -> a

minimum :: Ord a => Requested a -> a

sum :: Num a => Requested a -> a

product :: Num a => Requested a -> a

Traversable Requested

Defined in NewtypeZoo.Requested

Methods

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

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

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

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

Eq1 Requested

Defined in NewtypeZoo.Requested

Methods

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

Ord1 Requested

Defined in NewtypeZoo.Requested

Methods

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

Read1 Requested

Defined in NewtypeZoo.Requested

Methods

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

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

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

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

Show1 Requested

Defined in NewtypeZoo.Requested

Methods

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

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

MonadZip Requested

Defined in NewtypeZoo.Requested

Methods

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

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

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

Pointed Requested

Defined in NewtypeZoo.Requested

Methods

point :: a -> Requested a

Copointed Requested

Defined in NewtypeZoo.Requested

Methods

copoint :: Requested a -> a

Bounded a => Bounded (Requested a)

Defined in NewtypeZoo.Requested

Methods

minBound :: Requested a

maxBound :: Requested a

Enum a => Enum (Requested a)

Defined in NewtypeZoo.Requested

Methods

succ :: Requested a -> Requested a

pred :: Requested a -> Requested a

toEnum :: Int -> Requested a

fromEnum :: Requested a -> Int

enumFrom :: Requested a -> [Requested a]

enumFromThen :: Requested a -> Requested a -> [Requested a]

enumFromTo :: Requested a -> Requested a -> [Requested a]

enumFromThenTo :: Requested a -> Requested a -> Requested a -> [Requested a]

Eq a => Eq (Requested a)

Defined in NewtypeZoo.Requested

Methods

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

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

Floating a => Floating (Requested a)

Defined in NewtypeZoo.Requested

Methods

pi :: Requested a

exp :: Requested a -> Requested a

log :: Requested a -> Requested a

sqrt :: Requested a -> Requested a

(**) :: Requested a -> Requested a -> Requested a

logBase :: Requested a -> Requested a -> Requested a

sin :: Requested a -> Requested a

cos :: Requested a -> Requested a

tan :: Requested a -> Requested a

asin :: Requested a -> Requested a

acos :: Requested a -> Requested a

atan :: Requested a -> Requested a

sinh :: Requested a -> Requested a

cosh :: Requested a -> Requested a

tanh :: Requested a -> Requested a

asinh :: Requested a -> Requested a

acosh :: Requested a -> Requested a

atanh :: Requested a -> Requested a

log1p :: Requested a -> Requested a

expm1 :: Requested a -> Requested a

log1pexp :: Requested a -> Requested a

log1mexp :: Requested a -> Requested a

Fractional a => Fractional (Requested a)

Defined in NewtypeZoo.Requested

Methods

(/) :: Requested a -> Requested a -> Requested a

recip :: Requested a -> Requested a

fromRational :: Rational -> Requested a

Integral a => Integral (Requested a)

Defined in NewtypeZoo.Requested

Methods

quot :: Requested a -> Requested a -> Requested a

rem :: Requested a -> Requested a -> Requested a

div :: Requested a -> Requested a -> Requested a

mod :: Requested a -> Requested a -> Requested a

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

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

toInteger :: Requested a -> Integer

Num a => Num (Requested a)

Defined in NewtypeZoo.Requested

Methods

(+) :: Requested a -> Requested a -> Requested a

(-) :: Requested a -> Requested a -> Requested a

(*) :: Requested a -> Requested a -> Requested a

negate :: Requested a -> Requested a

abs :: Requested a -> Requested a

signum :: Requested a -> Requested a

fromInteger :: Integer -> Requested a

Ord a => Ord (Requested a)

Defined in NewtypeZoo.Requested

Methods

compare :: Requested a -> Requested a -> Ordering

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

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

(>) :: Requested a -> Requested a -> Bool

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

max :: Requested a -> Requested a -> Requested a

min :: Requested a -> Requested a -> Requested a

Read a => Read (Requested a)

Defined in NewtypeZoo.Requested

Methods

readsPrec :: Int -> ReadS (Requested a)

readList :: ReadS [Requested a]

readPrec :: ReadPrec (Requested a)

readListPrec :: ReadPrec [Requested a]

Real a => Real (Requested a)

Defined in NewtypeZoo.Requested

Methods

toRational :: Requested a -> Rational

RealFloat a => RealFloat (Requested a)

Defined in NewtypeZoo.Requested

Methods

floatRadix :: Requested a -> Integer

floatDigits :: Requested a -> Int

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

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

encodeFloat :: Integer -> Int -> Requested a

exponent :: Requested a -> Int

significand :: Requested a -> Requested a

scaleFloat :: Int -> Requested a -> Requested a

isNaN :: Requested a -> Bool

isInfinite :: Requested a -> Bool

isDenormalized :: Requested a -> Bool

isNegativeZero :: Requested a -> Bool

isIEEE :: Requested a -> Bool

atan2 :: Requested a -> Requested a -> Requested a

RealFrac a => RealFrac (Requested a)

Defined in NewtypeZoo.Requested

Methods

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

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

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

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

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

Show a => Show (Requested a)

Defined in NewtypeZoo.Requested

Methods

showsPrec :: Int -> Requested a -> ShowS

show :: Requested a -> String

showList :: [Requested a] -> ShowS

Ix a => Ix (Requested a)

Defined in NewtypeZoo.Requested

Methods

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

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

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

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

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

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

IsString a => IsString (Requested a)

Defined in NewtypeZoo.Requested

Methods

fromString :: String -> Requested a

Generic (Requested a)

Defined in NewtypeZoo.Requested

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Requested a)

Defined in NewtypeZoo.Requested

Methods

(<>) :: Requested a -> Requested a -> Requested a

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

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

Monoid a => Monoid (Requested a)

Defined in NewtypeZoo.Requested

Methods

mempty :: Requested a

mappend :: Requested a -> Requested a -> Requested a

mconcat :: [Requested a] -> Requested a

Arbitrary a => Arbitrary (Requested a)

Defined in NewtypeZoo.Requested

Methods

arbitrary :: Gen (Requested a)

shrink :: Requested a -> [Requested a]

Bits a => Bits (Requested a)

Defined in NewtypeZoo.Requested

Methods

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

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

xor :: Requested a -> Requested a -> Requested a

complement :: Requested a -> Requested a

shift :: Requested a -> Int -> Requested a

rotate :: Requested a -> Int -> Requested a

zeroBits :: Requested a

bit :: Int -> Requested a

setBit :: Requested a -> Int -> Requested a

clearBit :: Requested a -> Int -> Requested a

complementBit :: Requested a -> Int -> Requested a

testBit :: Requested a -> Int -> Bool

bitSizeMaybe :: Requested a -> Maybe Int

bitSize :: Requested a -> Int

isSigned :: Requested a -> Bool

shiftL :: Requested a -> Int -> Requested a

unsafeShiftL :: Requested a -> Int -> Requested a

shiftR :: Requested a -> Int -> Requested a

unsafeShiftR :: Requested a -> Int -> Requested a

rotateL :: Requested a -> Int -> Requested a

rotateR :: Requested a -> Int -> Requested a

popCount :: Requested a -> Int

FiniteBits a => FiniteBits (Requested a)

Defined in NewtypeZoo.Requested

Methods

finiteBitSize :: Requested a -> Int

countLeadingZeros :: Requested a -> Int

countTrailingZeros :: Requested a -> Int

Default a => Default (Requested a)

Defined in NewtypeZoo.Requested

Methods

def :: Requested a

NFData a => NFData (Requested a)

Defined in NewtypeZoo.Requested

Methods

rnf :: Requested a -> ()

Random a => Random (Requested a)

Defined in NewtypeZoo.Requested

Methods

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

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

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

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

Generic1 Requested

Defined in NewtypeZoo.Requested

Associated Types

type Rep1 Requested :: k -> Type

Methods

from1 :: forall (a :: k). Requested a -> Rep1 Requested a

to1 :: forall (a :: k). Rep1 Requested a -> Requested a

type Rep (Requested a)

Defined in NewtypeZoo.Requested

type Rep (Requested a) = D1 ('MetaData "Requested" "NewtypeZoo.Requested" "newtype-zoo-1.2.1.0-Km8yne3Tled57gA1FTjiYK" 'True) (C1 ('MetaCons "Requested" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type Rep1 Requested

Defined in NewtypeZoo.Requested

type Rep1 Requested = D1 ('MetaData "Requested" "NewtypeZoo.Requested" "newtype-zoo-1.2.1.0-Km8yne3Tled57gA1FTjiYK" 'True) (C1 ('MetaCons "Requested" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

_theRequested :: Requested x -> x

theRequested :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Requested a) (f (Requested b))