NewtypeZoo.Existing

Indicate that something is Existing.

Documentation

newtype Existing a

Constructors

Existing a

Instances

Monad Existing

Defined in NewtypeZoo.Existing

Methods

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

(>>) :: Existing a -> Existing b -> Existing b

return :: a -> Existing a

Functor Existing

Defined in NewtypeZoo.Existing

Methods

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

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

MonadFix Existing

Defined in NewtypeZoo.Existing

Methods

mfix :: (a -> Existing a) -> Existing a

Applicative Existing

Defined in NewtypeZoo.Existing

Methods

pure :: a -> Existing a

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

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

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

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

Foldable Existing

Defined in NewtypeZoo.Existing

Methods

fold :: Monoid m => Existing m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Existing a -> a

foldl1 :: (a -> a -> a) -> Existing a -> a

toList :: Existing a -> [a]

null :: Existing a -> Bool

length :: Existing a -> Int

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

maximum :: Ord a => Existing a -> a

minimum :: Ord a => Existing a -> a

sum :: Num a => Existing a -> a

product :: Num a => Existing a -> a

Traversable Existing

Defined in NewtypeZoo.Existing

Methods

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

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

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

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

Eq1 Existing

Defined in NewtypeZoo.Existing

Methods

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

Ord1 Existing

Defined in NewtypeZoo.Existing

Methods

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

Read1 Existing

Defined in NewtypeZoo.Existing

Methods

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

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

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

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

Show1 Existing

Defined in NewtypeZoo.Existing

Methods

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

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

MonadZip Existing

Defined in NewtypeZoo.Existing

Methods

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

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

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

Pointed Existing

Defined in NewtypeZoo.Existing

Methods

point :: a -> Existing a

Copointed Existing

Defined in NewtypeZoo.Existing

Methods

copoint :: Existing a -> a

Bounded a => Bounded (Existing a)

Defined in NewtypeZoo.Existing

Methods

minBound :: Existing a

maxBound :: Existing a

Enum a => Enum (Existing a)

Defined in NewtypeZoo.Existing

Methods

succ :: Existing a -> Existing a

pred :: Existing a -> Existing a

toEnum :: Int -> Existing a

fromEnum :: Existing a -> Int

enumFrom :: Existing a -> [Existing a]

enumFromThen :: Existing a -> Existing a -> [Existing a]

enumFromTo :: Existing a -> Existing a -> [Existing a]

enumFromThenTo :: Existing a -> Existing a -> Existing a -> [Existing a]

Eq a => Eq (Existing a)

Defined in NewtypeZoo.Existing

Methods

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

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

Floating a => Floating (Existing a)

Defined in NewtypeZoo.Existing

Methods

pi :: Existing a

exp :: Existing a -> Existing a

log :: Existing a -> Existing a

sqrt :: Existing a -> Existing a

(**) :: Existing a -> Existing a -> Existing a

logBase :: Existing a -> Existing a -> Existing a

sin :: Existing a -> Existing a

cos :: Existing a -> Existing a

tan :: Existing a -> Existing a

asin :: Existing a -> Existing a

acos :: Existing a -> Existing a

atan :: Existing a -> Existing a

sinh :: Existing a -> Existing a

cosh :: Existing a -> Existing a

tanh :: Existing a -> Existing a

asinh :: Existing a -> Existing a

acosh :: Existing a -> Existing a

atanh :: Existing a -> Existing a

log1p :: Existing a -> Existing a

expm1 :: Existing a -> Existing a

log1pexp :: Existing a -> Existing a

log1mexp :: Existing a -> Existing a

Fractional a => Fractional (Existing a)

Defined in NewtypeZoo.Existing

Methods

(/) :: Existing a -> Existing a -> Existing a

recip :: Existing a -> Existing a

fromRational :: Rational -> Existing a

Integral a => Integral (Existing a)

Defined in NewtypeZoo.Existing

Methods

quot :: Existing a -> Existing a -> Existing a

rem :: Existing a -> Existing a -> Existing a

div :: Existing a -> Existing a -> Existing a

mod :: Existing a -> Existing a -> Existing a

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

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

toInteger :: Existing a -> Integer

Num a => Num (Existing a)

Defined in NewtypeZoo.Existing

Methods

(+) :: Existing a -> Existing a -> Existing a

(-) :: Existing a -> Existing a -> Existing a

(*) :: Existing a -> Existing a -> Existing a

negate :: Existing a -> Existing a

abs :: Existing a -> Existing a

signum :: Existing a -> Existing a

fromInteger :: Integer -> Existing a

Ord a => Ord (Existing a)

Defined in NewtypeZoo.Existing

Methods

compare :: Existing a -> Existing a -> Ordering

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

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

(>) :: Existing a -> Existing a -> Bool

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

max :: Existing a -> Existing a -> Existing a

min :: Existing a -> Existing a -> Existing a

Read a => Read (Existing a)

Defined in NewtypeZoo.Existing

Methods

readsPrec :: Int -> ReadS (Existing a)

readList :: ReadS [Existing a]

readPrec :: ReadPrec (Existing a)

readListPrec :: ReadPrec [Existing a]

Real a => Real (Existing a)

Defined in NewtypeZoo.Existing

Methods

toRational :: Existing a -> Rational

RealFloat a => RealFloat (Existing a)

Defined in NewtypeZoo.Existing

Methods

floatRadix :: Existing a -> Integer

floatDigits :: Existing a -> Int

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

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

encodeFloat :: Integer -> Int -> Existing a

exponent :: Existing a -> Int

significand :: Existing a -> Existing a

scaleFloat :: Int -> Existing a -> Existing a

isNaN :: Existing a -> Bool

isInfinite :: Existing a -> Bool

isDenormalized :: Existing a -> Bool

isNegativeZero :: Existing a -> Bool

isIEEE :: Existing a -> Bool

atan2 :: Existing a -> Existing a -> Existing a

RealFrac a => RealFrac (Existing a)

Defined in NewtypeZoo.Existing

Methods

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

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

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

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

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

Show a => Show (Existing a)

Defined in NewtypeZoo.Existing

Methods

showsPrec :: Int -> Existing a -> ShowS

show :: Existing a -> String

showList :: [Existing a] -> ShowS

Ix a => Ix (Existing a)

Defined in NewtypeZoo.Existing

Methods

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

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

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

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

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

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

IsString a => IsString (Existing a)

Defined in NewtypeZoo.Existing

Methods

fromString :: String -> Existing a

Generic (Existing a)

Defined in NewtypeZoo.Existing

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Existing a)

Defined in NewtypeZoo.Existing

Methods

(<>) :: Existing a -> Existing a -> Existing a

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

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

Monoid a => Monoid (Existing a)

Defined in NewtypeZoo.Existing

Methods

mempty :: Existing a

mappend :: Existing a -> Existing a -> Existing a

mconcat :: [Existing a] -> Existing a

Arbitrary a => Arbitrary (Existing a)

Defined in NewtypeZoo.Existing

Methods

arbitrary :: Gen (Existing a)

shrink :: Existing a -> [Existing a]

Bits a => Bits (Existing a)

Defined in NewtypeZoo.Existing

Methods

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

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

xor :: Existing a -> Existing a -> Existing a

complement :: Existing a -> Existing a

shift :: Existing a -> Int -> Existing a

rotate :: Existing a -> Int -> Existing a

zeroBits :: Existing a

bit :: Int -> Existing a

setBit :: Existing a -> Int -> Existing a

clearBit :: Existing a -> Int -> Existing a

complementBit :: Existing a -> Int -> Existing a

testBit :: Existing a -> Int -> Bool

bitSizeMaybe :: Existing a -> Maybe Int

bitSize :: Existing a -> Int

isSigned :: Existing a -> Bool

shiftL :: Existing a -> Int -> Existing a

unsafeShiftL :: Existing a -> Int -> Existing a

shiftR :: Existing a -> Int -> Existing a

unsafeShiftR :: Existing a -> Int -> Existing a

rotateL :: Existing a -> Int -> Existing a

rotateR :: Existing a -> Int -> Existing a

popCount :: Existing a -> Int

FiniteBits a => FiniteBits (Existing a)

Defined in NewtypeZoo.Existing

Methods

finiteBitSize :: Existing a -> Int

countLeadingZeros :: Existing a -> Int

countTrailingZeros :: Existing a -> Int

Default a => Default (Existing a)

Defined in NewtypeZoo.Existing

Methods

def :: Existing a

NFData a => NFData (Existing a)

Defined in NewtypeZoo.Existing

Methods

rnf :: Existing a -> ()

Random a => Random (Existing a)

Defined in NewtypeZoo.Existing

Methods

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

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

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

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

Generic1 Existing

Defined in NewtypeZoo.Existing

Associated Types

type Rep1 Existing :: k -> Type

Methods

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

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

type Rep (Existing a)

Defined in NewtypeZoo.Existing

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

type Rep1 Existing

Defined in NewtypeZoo.Existing

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

_theExisting :: Existing x -> x

theExisting :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Existing a) (f (Existing b))