NewtypeZoo.Missing

Indicate that something is Missing.

Documentation

newtype Missing a

Constructors

Missing a

Instances

Monad Missing

Defined in NewtypeZoo.Missing

Methods

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

(>>) :: Missing a -> Missing b -> Missing b

return :: a -> Missing a

Functor Missing

Defined in NewtypeZoo.Missing

Methods

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

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

MonadFix Missing

Defined in NewtypeZoo.Missing

Methods

mfix :: (a -> Missing a) -> Missing a

Applicative Missing

Defined in NewtypeZoo.Missing

Methods

pure :: a -> Missing a

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

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

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

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

Foldable Missing

Defined in NewtypeZoo.Missing

Methods

fold :: Monoid m => Missing m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Missing a -> a

foldl1 :: (a -> a -> a) -> Missing a -> a

toList :: Missing a -> [a]

null :: Missing a -> Bool

length :: Missing a -> Int

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

maximum :: Ord a => Missing a -> a

minimum :: Ord a => Missing a -> a

sum :: Num a => Missing a -> a

product :: Num a => Missing a -> a

Traversable Missing

Defined in NewtypeZoo.Missing

Methods

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

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

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

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

Eq1 Missing

Defined in NewtypeZoo.Missing

Methods

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

Ord1 Missing

Defined in NewtypeZoo.Missing

Methods

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

Read1 Missing

Defined in NewtypeZoo.Missing

Methods

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

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

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

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

Show1 Missing

Defined in NewtypeZoo.Missing

Methods

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

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

MonadZip Missing

Defined in NewtypeZoo.Missing

Methods

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

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

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

Pointed Missing

Defined in NewtypeZoo.Missing

Methods

point :: a -> Missing a

Copointed Missing

Defined in NewtypeZoo.Missing

Methods

copoint :: Missing a -> a

Bounded a => Bounded (Missing a)

Defined in NewtypeZoo.Missing

Methods

minBound :: Missing a

maxBound :: Missing a

Enum a => Enum (Missing a)

Defined in NewtypeZoo.Missing

Methods

succ :: Missing a -> Missing a

pred :: Missing a -> Missing a

toEnum :: Int -> Missing a

fromEnum :: Missing a -> Int

enumFrom :: Missing a -> [Missing a]

enumFromThen :: Missing a -> Missing a -> [Missing a]

enumFromTo :: Missing a -> Missing a -> [Missing a]

enumFromThenTo :: Missing a -> Missing a -> Missing a -> [Missing a]

Eq a => Eq (Missing a)

Defined in NewtypeZoo.Missing

Methods

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

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

Floating a => Floating (Missing a)

Defined in NewtypeZoo.Missing

Methods

pi :: Missing a

exp :: Missing a -> Missing a

log :: Missing a -> Missing a

sqrt :: Missing a -> Missing a

(**) :: Missing a -> Missing a -> Missing a

logBase :: Missing a -> Missing a -> Missing a

sin :: Missing a -> Missing a

cos :: Missing a -> Missing a

tan :: Missing a -> Missing a

asin :: Missing a -> Missing a

acos :: Missing a -> Missing a

atan :: Missing a -> Missing a

sinh :: Missing a -> Missing a

cosh :: Missing a -> Missing a

tanh :: Missing a -> Missing a

asinh :: Missing a -> Missing a

acosh :: Missing a -> Missing a

atanh :: Missing a -> Missing a

log1p :: Missing a -> Missing a

expm1 :: Missing a -> Missing a

log1pexp :: Missing a -> Missing a

log1mexp :: Missing a -> Missing a

Fractional a => Fractional (Missing a)

Defined in NewtypeZoo.Missing

Methods

(/) :: Missing a -> Missing a -> Missing a

recip :: Missing a -> Missing a

fromRational :: Rational -> Missing a

Integral a => Integral (Missing a)

Defined in NewtypeZoo.Missing

Methods

quot :: Missing a -> Missing a -> Missing a

rem :: Missing a -> Missing a -> Missing a

div :: Missing a -> Missing a -> Missing a

mod :: Missing a -> Missing a -> Missing a

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

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

toInteger :: Missing a -> Integer

Num a => Num (Missing a)

Defined in NewtypeZoo.Missing

Methods

(+) :: Missing a -> Missing a -> Missing a

(-) :: Missing a -> Missing a -> Missing a

(*) :: Missing a -> Missing a -> Missing a

negate :: Missing a -> Missing a

abs :: Missing a -> Missing a

signum :: Missing a -> Missing a

fromInteger :: Integer -> Missing a

Ord a => Ord (Missing a)

Defined in NewtypeZoo.Missing

Methods

compare :: Missing a -> Missing a -> Ordering

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

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

(>) :: Missing a -> Missing a -> Bool

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

max :: Missing a -> Missing a -> Missing a

min :: Missing a -> Missing a -> Missing a

Read a => Read (Missing a)

Defined in NewtypeZoo.Missing

Methods

readsPrec :: Int -> ReadS (Missing a)

readList :: ReadS [Missing a]

readPrec :: ReadPrec (Missing a)

readListPrec :: ReadPrec [Missing a]

Real a => Real (Missing a)

Defined in NewtypeZoo.Missing

Methods

toRational :: Missing a -> Rational

RealFloat a => RealFloat (Missing a)

Defined in NewtypeZoo.Missing

Methods

floatRadix :: Missing a -> Integer

floatDigits :: Missing a -> Int

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

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

encodeFloat :: Integer -> Int -> Missing a

exponent :: Missing a -> Int

significand :: Missing a -> Missing a

scaleFloat :: Int -> Missing a -> Missing a

isNaN :: Missing a -> Bool

isInfinite :: Missing a -> Bool

isDenormalized :: Missing a -> Bool

isNegativeZero :: Missing a -> Bool

isIEEE :: Missing a -> Bool

atan2 :: Missing a -> Missing a -> Missing a

RealFrac a => RealFrac (Missing a)

Defined in NewtypeZoo.Missing

Methods

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

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

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

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

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

Show a => Show (Missing a)

Defined in NewtypeZoo.Missing

Methods

showsPrec :: Int -> Missing a -> ShowS

show :: Missing a -> String

showList :: [Missing a] -> ShowS

Ix a => Ix (Missing a)

Defined in NewtypeZoo.Missing

Methods

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

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

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

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

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

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

IsString a => IsString (Missing a)

Defined in NewtypeZoo.Missing

Methods

fromString :: String -> Missing a

Generic (Missing a)

Defined in NewtypeZoo.Missing

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Missing a)

Defined in NewtypeZoo.Missing

Methods

(<>) :: Missing a -> Missing a -> Missing a

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

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

Monoid a => Monoid (Missing a)

Defined in NewtypeZoo.Missing

Methods

mempty :: Missing a

mappend :: Missing a -> Missing a -> Missing a

mconcat :: [Missing a] -> Missing a

Arbitrary a => Arbitrary (Missing a)

Defined in NewtypeZoo.Missing

Methods

arbitrary :: Gen (Missing a)

shrink :: Missing a -> [Missing a]

Bits a => Bits (Missing a)

Defined in NewtypeZoo.Missing

Methods

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

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

xor :: Missing a -> Missing a -> Missing a

complement :: Missing a -> Missing a

shift :: Missing a -> Int -> Missing a

rotate :: Missing a -> Int -> Missing a

zeroBits :: Missing a

bit :: Int -> Missing a

setBit :: Missing a -> Int -> Missing a

clearBit :: Missing a -> Int -> Missing a

complementBit :: Missing a -> Int -> Missing a

testBit :: Missing a -> Int -> Bool

bitSizeMaybe :: Missing a -> Maybe Int

bitSize :: Missing a -> Int

isSigned :: Missing a -> Bool

shiftL :: Missing a -> Int -> Missing a

unsafeShiftL :: Missing a -> Int -> Missing a

shiftR :: Missing a -> Int -> Missing a

unsafeShiftR :: Missing a -> Int -> Missing a

rotateL :: Missing a -> Int -> Missing a

rotateR :: Missing a -> Int -> Missing a

popCount :: Missing a -> Int

FiniteBits a => FiniteBits (Missing a)

Defined in NewtypeZoo.Missing

Methods

finiteBitSize :: Missing a -> Int

countLeadingZeros :: Missing a -> Int

countTrailingZeros :: Missing a -> Int

Default a => Default (Missing a)

Defined in NewtypeZoo.Missing

Methods

def :: Missing a

NFData a => NFData (Missing a)

Defined in NewtypeZoo.Missing

Methods

rnf :: Missing a -> ()

Random a => Random (Missing a)

Defined in NewtypeZoo.Missing

Methods

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

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

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

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

Generic1 Missing

Defined in NewtypeZoo.Missing

Associated Types

type Rep1 Missing :: k -> Type

Methods

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

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

type Rep (Missing a)

Defined in NewtypeZoo.Missing

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

type Rep1 Missing

Defined in NewtypeZoo.Missing

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

_theMissing :: Missing x -> x

theMissing :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Missing a) (f (Missing b))