NewtypeZoo.Pending

Indicate that something is Pending.

Documentation

newtype Pending a

Constructors

Pending a

Instances

Monad Pending

Defined in NewtypeZoo.Pending

Methods

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

(>>) :: Pending a -> Pending b -> Pending b

return :: a -> Pending a

fail :: String -> Pending a

Functor Pending

Defined in NewtypeZoo.Pending

Methods

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

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

MonadFix Pending

Defined in NewtypeZoo.Pending

Methods

mfix :: (a -> Pending a) -> Pending a

Applicative Pending

Defined in NewtypeZoo.Pending

Methods

pure :: a -> Pending a

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

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

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

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

Foldable Pending

Defined in NewtypeZoo.Pending

Methods

fold :: Monoid m => Pending m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Pending a -> a

foldl1 :: (a -> a -> a) -> Pending a -> a

toList :: Pending a -> [a]

null :: Pending a -> Bool

length :: Pending a -> Int

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

maximum :: Ord a => Pending a -> a

minimum :: Ord a => Pending a -> a

sum :: Num a => Pending a -> a

product :: Num a => Pending a -> a

Traversable Pending

Defined in NewtypeZoo.Pending

Methods

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

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

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

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

Eq1 Pending

Defined in NewtypeZoo.Pending

Methods

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

Ord1 Pending

Defined in NewtypeZoo.Pending

Methods

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

Read1 Pending

Defined in NewtypeZoo.Pending

Methods

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

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

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

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

Show1 Pending

Defined in NewtypeZoo.Pending

Methods

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

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

MonadZip Pending

Defined in NewtypeZoo.Pending

Methods

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

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

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

Pointed Pending

Defined in NewtypeZoo.Pending

Methods

point :: a -> Pending a

Copointed Pending

Defined in NewtypeZoo.Pending

Methods

copoint :: Pending a -> a

Bounded a => Bounded (Pending a)

Defined in NewtypeZoo.Pending

Methods

minBound :: Pending a

maxBound :: Pending a

Enum a => Enum (Pending a)

Defined in NewtypeZoo.Pending

Methods

succ :: Pending a -> Pending a

pred :: Pending a -> Pending a

toEnum :: Int -> Pending a

fromEnum :: Pending a -> Int

enumFrom :: Pending a -> [Pending a]

enumFromThen :: Pending a -> Pending a -> [Pending a]

enumFromTo :: Pending a -> Pending a -> [Pending a]

enumFromThenTo :: Pending a -> Pending a -> Pending a -> [Pending a]

Eq a => Eq (Pending a)

Defined in NewtypeZoo.Pending

Methods

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

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

Floating a => Floating (Pending a)

Defined in NewtypeZoo.Pending

Methods

pi :: Pending a

exp :: Pending a -> Pending a

log :: Pending a -> Pending a

sqrt :: Pending a -> Pending a

(**) :: Pending a -> Pending a -> Pending a

logBase :: Pending a -> Pending a -> Pending a

sin :: Pending a -> Pending a

cos :: Pending a -> Pending a

tan :: Pending a -> Pending a

asin :: Pending a -> Pending a

acos :: Pending a -> Pending a

atan :: Pending a -> Pending a

sinh :: Pending a -> Pending a

cosh :: Pending a -> Pending a

tanh :: Pending a -> Pending a

asinh :: Pending a -> Pending a

acosh :: Pending a -> Pending a

atanh :: Pending a -> Pending a

log1p :: Pending a -> Pending a

expm1 :: Pending a -> Pending a

log1pexp :: Pending a -> Pending a

log1mexp :: Pending a -> Pending a

Fractional a => Fractional (Pending a)

Defined in NewtypeZoo.Pending

Methods

(/) :: Pending a -> Pending a -> Pending a

recip :: Pending a -> Pending a

fromRational :: Rational -> Pending a

Integral a => Integral (Pending a)

Defined in NewtypeZoo.Pending

Methods

quot :: Pending a -> Pending a -> Pending a

rem :: Pending a -> Pending a -> Pending a

div :: Pending a -> Pending a -> Pending a

mod :: Pending a -> Pending a -> Pending a

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

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

toInteger :: Pending a -> Integer

Num a => Num (Pending a)

Defined in NewtypeZoo.Pending

Methods

(+) :: Pending a -> Pending a -> Pending a

(-) :: Pending a -> Pending a -> Pending a

(*) :: Pending a -> Pending a -> Pending a

negate :: Pending a -> Pending a

abs :: Pending a -> Pending a

signum :: Pending a -> Pending a

fromInteger :: Integer -> Pending a

Ord a => Ord (Pending a)

Defined in NewtypeZoo.Pending

Methods

compare :: Pending a -> Pending a -> Ordering

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

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

(>) :: Pending a -> Pending a -> Bool

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

max :: Pending a -> Pending a -> Pending a

min :: Pending a -> Pending a -> Pending a

Read a => Read (Pending a)

Defined in NewtypeZoo.Pending

Methods

readsPrec :: Int -> ReadS (Pending a)

readList :: ReadS [Pending a]

readPrec :: ReadPrec (Pending a)

readListPrec :: ReadPrec [Pending a]

Real a => Real (Pending a)

Defined in NewtypeZoo.Pending

Methods

toRational :: Pending a -> Rational

RealFloat a => RealFloat (Pending a)

Defined in NewtypeZoo.Pending

Methods

floatRadix :: Pending a -> Integer

floatDigits :: Pending a -> Int

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

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

encodeFloat :: Integer -> Int -> Pending a

exponent :: Pending a -> Int

significand :: Pending a -> Pending a

scaleFloat :: Int -> Pending a -> Pending a

isNaN :: Pending a -> Bool

isInfinite :: Pending a -> Bool

isDenormalized :: Pending a -> Bool

isNegativeZero :: Pending a -> Bool

isIEEE :: Pending a -> Bool

atan2 :: Pending a -> Pending a -> Pending a

RealFrac a => RealFrac (Pending a)

Defined in NewtypeZoo.Pending

Methods

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

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

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

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

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

Show a => Show (Pending a)

Defined in NewtypeZoo.Pending

Methods

showsPrec :: Int -> Pending a -> ShowS

show :: Pending a -> String

showList :: [Pending a] -> ShowS

Ix a => Ix (Pending a)

Defined in NewtypeZoo.Pending

Methods

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

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

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

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

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

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

IsString a => IsString (Pending a)

Defined in NewtypeZoo.Pending

Methods

fromString :: String -> Pending a

Generic (Pending a)

Defined in NewtypeZoo.Pending

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Pending a)

Defined in NewtypeZoo.Pending

Methods

(<>) :: Pending a -> Pending a -> Pending a

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

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

Monoid a => Monoid (Pending a)

Defined in NewtypeZoo.Pending

Methods

mempty :: Pending a

mappend :: Pending a -> Pending a -> Pending a

mconcat :: [Pending a] -> Pending a

Arbitrary a => Arbitrary (Pending a)

Defined in NewtypeZoo.Pending

Methods

arbitrary :: Gen (Pending a)

shrink :: Pending a -> [Pending a]

Bits a => Bits (Pending a)

Defined in NewtypeZoo.Pending

Methods

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

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

xor :: Pending a -> Pending a -> Pending a

complement :: Pending a -> Pending a

shift :: Pending a -> Int -> Pending a

rotate :: Pending a -> Int -> Pending a

zeroBits :: Pending a

bit :: Int -> Pending a

setBit :: Pending a -> Int -> Pending a

clearBit :: Pending a -> Int -> Pending a

complementBit :: Pending a -> Int -> Pending a

testBit :: Pending a -> Int -> Bool

bitSizeMaybe :: Pending a -> Maybe Int

bitSize :: Pending a -> Int

isSigned :: Pending a -> Bool

shiftL :: Pending a -> Int -> Pending a

unsafeShiftL :: Pending a -> Int -> Pending a

shiftR :: Pending a -> Int -> Pending a

unsafeShiftR :: Pending a -> Int -> Pending a

rotateL :: Pending a -> Int -> Pending a

rotateR :: Pending a -> Int -> Pending a

popCount :: Pending a -> Int

FiniteBits a => FiniteBits (Pending a)

Defined in NewtypeZoo.Pending

Methods

finiteBitSize :: Pending a -> Int

countLeadingZeros :: Pending a -> Int

countTrailingZeros :: Pending a -> Int

Default a => Default (Pending a)

Defined in NewtypeZoo.Pending

Methods

def :: Pending a

NFData a => NFData (Pending a)

Defined in NewtypeZoo.Pending

Methods

rnf :: Pending a -> ()

Random a => Random (Pending a)

Defined in NewtypeZoo.Pending

Methods

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

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

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

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

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

randomIO :: IO (Pending a)

Generic1 Pending

Defined in NewtypeZoo.Pending

Associated Types

type Rep1 Pending :: k -> Type

Methods

from1 :: Pending a -> Rep1 Pending a

to1 :: Rep1 Pending a -> Pending a

type Rep (Pending a)

Defined in NewtypeZoo.Pending

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

type Rep1 Pending

Defined in NewtypeZoo.Pending

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

_thePending :: Pending x -> x

thePending :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Pending a) (f (Pending b))