NewtypeZoo.Multiple

Indicate that something represents Multiple instances of some value.

Documentation

newtype Multiple a

Constructors

Multiple a

Instances

Monad Multiple

Defined in NewtypeZoo.Multiple

Methods

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

(>>) :: Multiple a -> Multiple b -> Multiple b

return :: a -> Multiple a

fail :: String -> Multiple a

Functor Multiple

Defined in NewtypeZoo.Multiple

Methods

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

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

MonadFix Multiple

Defined in NewtypeZoo.Multiple

Methods

mfix :: (a -> Multiple a) -> Multiple a

Applicative Multiple

Defined in NewtypeZoo.Multiple

Methods

pure :: a -> Multiple a

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

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

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

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

Foldable Multiple

Defined in NewtypeZoo.Multiple

Methods

fold :: Monoid m => Multiple m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Multiple a -> a

foldl1 :: (a -> a -> a) -> Multiple a -> a

toList :: Multiple a -> [a]

null :: Multiple a -> Bool

length :: Multiple a -> Int

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

maximum :: Ord a => Multiple a -> a

minimum :: Ord a => Multiple a -> a

sum :: Num a => Multiple a -> a

product :: Num a => Multiple a -> a

Traversable Multiple

Defined in NewtypeZoo.Multiple

Methods

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

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

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

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

Eq1 Multiple

Defined in NewtypeZoo.Multiple

Methods

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

Ord1 Multiple

Defined in NewtypeZoo.Multiple

Methods

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

Read1 Multiple

Defined in NewtypeZoo.Multiple

Methods

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

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

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

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

Show1 Multiple

Defined in NewtypeZoo.Multiple

Methods

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

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

MonadZip Multiple

Defined in NewtypeZoo.Multiple

Methods

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

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

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

Pointed Multiple

Defined in NewtypeZoo.Multiple

Methods

point :: a -> Multiple a

Copointed Multiple

Defined in NewtypeZoo.Multiple

Methods

copoint :: Multiple a -> a

Bounded a => Bounded (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

minBound :: Multiple a

maxBound :: Multiple a

Enum a => Enum (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

succ :: Multiple a -> Multiple a

pred :: Multiple a -> Multiple a

toEnum :: Int -> Multiple a

fromEnum :: Multiple a -> Int

enumFrom :: Multiple a -> [Multiple a]

enumFromThen :: Multiple a -> Multiple a -> [Multiple a]

enumFromTo :: Multiple a -> Multiple a -> [Multiple a]

enumFromThenTo :: Multiple a -> Multiple a -> Multiple a -> [Multiple a]

Eq a => Eq (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

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

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

Floating a => Floating (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

pi :: Multiple a

exp :: Multiple a -> Multiple a

log :: Multiple a -> Multiple a

sqrt :: Multiple a -> Multiple a

(**) :: Multiple a -> Multiple a -> Multiple a

logBase :: Multiple a -> Multiple a -> Multiple a

sin :: Multiple a -> Multiple a

cos :: Multiple a -> Multiple a

tan :: Multiple a -> Multiple a

asin :: Multiple a -> Multiple a

acos :: Multiple a -> Multiple a

atan :: Multiple a -> Multiple a

sinh :: Multiple a -> Multiple a

cosh :: Multiple a -> Multiple a

tanh :: Multiple a -> Multiple a

asinh :: Multiple a -> Multiple a

acosh :: Multiple a -> Multiple a

atanh :: Multiple a -> Multiple a

log1p :: Multiple a -> Multiple a

expm1 :: Multiple a -> Multiple a

log1pexp :: Multiple a -> Multiple a

log1mexp :: Multiple a -> Multiple a

Fractional a => Fractional (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

(/) :: Multiple a -> Multiple a -> Multiple a

recip :: Multiple a -> Multiple a

fromRational :: Rational -> Multiple a

Integral a => Integral (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

quot :: Multiple a -> Multiple a -> Multiple a

rem :: Multiple a -> Multiple a -> Multiple a

div :: Multiple a -> Multiple a -> Multiple a

mod :: Multiple a -> Multiple a -> Multiple a

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

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

toInteger :: Multiple a -> Integer

Num a => Num (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

(+) :: Multiple a -> Multiple a -> Multiple a

(-) :: Multiple a -> Multiple a -> Multiple a

(*) :: Multiple a -> Multiple a -> Multiple a

negate :: Multiple a -> Multiple a

abs :: Multiple a -> Multiple a

signum :: Multiple a -> Multiple a

fromInteger :: Integer -> Multiple a

Ord a => Ord (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

compare :: Multiple a -> Multiple a -> Ordering

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

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

(>) :: Multiple a -> Multiple a -> Bool

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

max :: Multiple a -> Multiple a -> Multiple a

min :: Multiple a -> Multiple a -> Multiple a

Read a => Read (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

readsPrec :: Int -> ReadS (Multiple a)

readList :: ReadS [Multiple a]

readPrec :: ReadPrec (Multiple a)

readListPrec :: ReadPrec [Multiple a]

Real a => Real (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

toRational :: Multiple a -> Rational

RealFloat a => RealFloat (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

floatRadix :: Multiple a -> Integer

floatDigits :: Multiple a -> Int

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

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

encodeFloat :: Integer -> Int -> Multiple a

exponent :: Multiple a -> Int

significand :: Multiple a -> Multiple a

scaleFloat :: Int -> Multiple a -> Multiple a

isNaN :: Multiple a -> Bool

isInfinite :: Multiple a -> Bool

isDenormalized :: Multiple a -> Bool

isNegativeZero :: Multiple a -> Bool

isIEEE :: Multiple a -> Bool

atan2 :: Multiple a -> Multiple a -> Multiple a

RealFrac a => RealFrac (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

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

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

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

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

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

Show a => Show (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

showsPrec :: Int -> Multiple a -> ShowS

show :: Multiple a -> String

showList :: [Multiple a] -> ShowS

Ix a => Ix (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

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

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

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

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

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

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

IsString a => IsString (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

fromString :: String -> Multiple a

Generic (Multiple a)

Defined in NewtypeZoo.Multiple

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

(<>) :: Multiple a -> Multiple a -> Multiple a

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

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

Monoid a => Monoid (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

mempty :: Multiple a

mappend :: Multiple a -> Multiple a -> Multiple a

mconcat :: [Multiple a] -> Multiple a

Arbitrary a => Arbitrary (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

arbitrary :: Gen (Multiple a)

shrink :: Multiple a -> [Multiple a]

Bits a => Bits (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

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

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

xor :: Multiple a -> Multiple a -> Multiple a

complement :: Multiple a -> Multiple a

shift :: Multiple a -> Int -> Multiple a

rotate :: Multiple a -> Int -> Multiple a

zeroBits :: Multiple a

bit :: Int -> Multiple a

setBit :: Multiple a -> Int -> Multiple a

clearBit :: Multiple a -> Int -> Multiple a

complementBit :: Multiple a -> Int -> Multiple a

testBit :: Multiple a -> Int -> Bool

bitSizeMaybe :: Multiple a -> Maybe Int

bitSize :: Multiple a -> Int

isSigned :: Multiple a -> Bool

shiftL :: Multiple a -> Int -> Multiple a

unsafeShiftL :: Multiple a -> Int -> Multiple a

shiftR :: Multiple a -> Int -> Multiple a

unsafeShiftR :: Multiple a -> Int -> Multiple a

rotateL :: Multiple a -> Int -> Multiple a

rotateR :: Multiple a -> Int -> Multiple a

popCount :: Multiple a -> Int

FiniteBits a => FiniteBits (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

finiteBitSize :: Multiple a -> Int

countLeadingZeros :: Multiple a -> Int

countTrailingZeros :: Multiple a -> Int

Default a => Default (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

def :: Multiple a

NFData a => NFData (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

rnf :: Multiple a -> ()

Random a => Random (Multiple a)

Defined in NewtypeZoo.Multiple

Methods

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

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

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

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

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

randomIO :: IO (Multiple a)

Generic1 Multiple

Defined in NewtypeZoo.Multiple

Associated Types

type Rep1 Multiple :: k -> Type

Methods

from1 :: Multiple a -> Rep1 Multiple a

to1 :: Rep1 Multiple a -> Multiple a

type Rep (Multiple a)

Defined in NewtypeZoo.Multiple

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

type Rep1 Multiple

Defined in NewtypeZoo.Multiple

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

_theMultiple :: Multiple x -> x

theMultiple :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Multiple a) (f (Multiple b))