Documentation

Methods

(>>=) :: Partial a -> (a -> Partial b) -> Partial b #

(>>) :: Partial a -> Partial b -> Partial b #

return :: a -> Partial a #

Methods

fmap :: (a -> b) -> Partial a -> Partial b #

(<$) :: a -> Partial b -> Partial a #

Methods

mfix :: (a -> Partial a) -> Partial a #

Methods

pure :: a -> Partial a #

(<*>) :: Partial (a -> b) -> Partial a -> Partial b #

liftA2 :: (a -> b -> c) -> Partial a -> Partial b -> Partial c #

(*>) :: Partial a -> Partial b -> Partial b #

(<*) :: Partial a -> Partial b -> Partial a #

Methods

fold :: Monoid m => Partial m -> m #

foldMap :: Monoid m => (a -> m) -> Partial a -> m #

foldMap' :: Monoid m => (a -> m) -> Partial a -> m #

foldr :: (a -> b -> b) -> b -> Partial a -> b #

foldr' :: (a -> b -> b) -> b -> Partial a -> b #

foldl :: (b -> a -> b) -> b -> Partial a -> b #

foldl' :: (b -> a -> b) -> b -> Partial a -> b #

foldr1 :: (a -> a -> a) -> Partial a -> a #

foldl1 :: (a -> a -> a) -> Partial a -> a #

toList :: Partial a -> [a] #

null :: Partial a -> Bool #

length :: Partial a -> Int #

elem :: Eq a => a -> Partial a -> Bool #

maximum :: Ord a => Partial a -> a #

minimum :: Ord a => Partial a -> a #

sum :: Num a => Partial a -> a #

product :: Num a => Partial a -> a #

Methods

traverse :: Applicative f => (a -> f b) -> Partial a -> f (Partial b) #

sequenceA :: Applicative f => Partial (f a) -> f (Partial a) #

mapM :: Monad m => (a -> m b) -> Partial a -> m (Partial b) #

sequence :: Monad m => Partial (m a) -> m (Partial a) #

Methods

liftEq :: (a -> b -> Bool) -> Partial a -> Partial b -> Bool #

Methods

liftCompare :: (a -> b -> Ordering) -> Partial a -> Partial b -> Ordering #

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Partial a) #

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Partial a] #

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Partial a) #

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Partial a] #

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Partial a -> ShowS #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Partial a] -> ShowS #

Methods

mzip :: Partial a -> Partial b -> Partial (a, b) #

mzipWith :: (a -> b -> c) -> Partial a -> Partial b -> Partial c #

munzip :: Partial (a, b) -> (Partial a, Partial b) #

Methods

point :: a -> Partial a #

Methods

copoint :: Partial a -> a #

Methods

minBound :: Partial a #

maxBound :: Partial a #

Methods

succ :: Partial a -> Partial a #

pred :: Partial a -> Partial a #

toEnum :: Int -> Partial a #

fromEnum :: Partial a -> Int #

enumFrom :: Partial a -> [Partial a] #

enumFromThen :: Partial a -> Partial a -> [Partial a] #

enumFromTo :: Partial a -> Partial a -> [Partial a] #

enumFromThenTo :: Partial a -> Partial a -> Partial a -> [Partial a] #

Methods

(==) :: Partial a -> Partial a -> Bool #

(/=) :: Partial a -> Partial a -> Bool #

Methods

pi :: Partial a #

exp :: Partial a -> Partial a #

log :: Partial a -> Partial a #

sqrt :: Partial a -> Partial a #

(**) :: Partial a -> Partial a -> Partial a #

logBase :: Partial a -> Partial a -> Partial a #

sin :: Partial a -> Partial a #

cos :: Partial a -> Partial a #

tan :: Partial a -> Partial a #

asin :: Partial a -> Partial a #

acos :: Partial a -> Partial a #

atan :: Partial a -> Partial a #

sinh :: Partial a -> Partial a #

cosh :: Partial a -> Partial a #

tanh :: Partial a -> Partial a #

asinh :: Partial a -> Partial a #

acosh :: Partial a -> Partial a #

atanh :: Partial a -> Partial a #

log1p :: Partial a -> Partial a #

expm1 :: Partial a -> Partial a #

log1pexp :: Partial a -> Partial a #

log1mexp :: Partial a -> Partial a #

Methods

(/) :: Partial a -> Partial a -> Partial a #

recip :: Partial a -> Partial a #

fromRational :: Rational -> Partial a #

Methods

quot :: Partial a -> Partial a -> Partial a #

rem :: Partial a -> Partial a -> Partial a #

div :: Partial a -> Partial a -> Partial a #

mod :: Partial a -> Partial a -> Partial a #

quotRem :: Partial a -> Partial a -> (Partial a, Partial a) #

divMod :: Partial a -> Partial a -> (Partial a, Partial a) #

toInteger :: Partial a -> Integer #

Methods

(+) :: Partial a -> Partial a -> Partial a #

(-) :: Partial a -> Partial a -> Partial a #

(*) :: Partial a -> Partial a -> Partial a #

negate :: Partial a -> Partial a #

abs :: Partial a -> Partial a #

signum :: Partial a -> Partial a #

fromInteger :: Integer -> Partial a #

Methods

compare :: Partial a -> Partial a -> Ordering #

(<) :: Partial a -> Partial a -> Bool #

(<=) :: Partial a -> Partial a -> Bool #

(>) :: Partial a -> Partial a -> Bool #

(>=) :: Partial a -> Partial a -> Bool #

max :: Partial a -> Partial a -> Partial a #

min :: Partial a -> Partial a -> Partial a #

Methods

readsPrec :: Int -> ReadS (Partial a) #

readList :: ReadS [Partial a] #

readPrec :: ReadPrec (Partial a) #

readListPrec :: ReadPrec [Partial a] #

Methods

toRational :: Partial a -> Rational #

Methods

floatRadix :: Partial a -> Integer #

floatDigits :: Partial a -> Int #

floatRange :: Partial a -> (Int, Int) #

decodeFloat :: Partial a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Partial a #

exponent :: Partial a -> Int #

significand :: Partial a -> Partial a #

scaleFloat :: Int -> Partial a -> Partial a #

isNaN :: Partial a -> Bool #

isInfinite :: Partial a -> Bool #

isDenormalized :: Partial a -> Bool #

isNegativeZero :: Partial a -> Bool #

isIEEE :: Partial a -> Bool #

atan2 :: Partial a -> Partial a -> Partial a #

Methods

properFraction :: Integral b => Partial a -> (b, Partial a) #

truncate :: Integral b => Partial a -> b #

round :: Integral b => Partial a -> b #

ceiling :: Integral b => Partial a -> b #

floor :: Integral b => Partial a -> b #

Methods

showsPrec :: Int -> Partial a -> ShowS #

show :: Partial a -> String #

showList :: [Partial a] -> ShowS #

Methods

range :: (Partial a, Partial a) -> [Partial a] #

index :: (Partial a, Partial a) -> Partial a -> Int #

unsafeIndex :: (Partial a, Partial a) -> Partial a -> Int #

inRange :: (Partial a, Partial a) -> Partial a -> Bool #

rangeSize :: (Partial a, Partial a) -> Int #

unsafeRangeSize :: (Partial a, Partial a) -> Int #

Methods

fromString :: String -> Partial a #

Methods

from :: Partial a -> Rep (Partial a) x #

to :: Rep (Partial a) x -> Partial a #

Methods

(<>) :: Partial a -> Partial a -> Partial a #

sconcat :: NonEmpty (Partial a) -> Partial a #

stimes :: Integral b => b -> Partial a -> Partial a #

Methods

mempty :: Partial a #

mappend :: Partial a -> Partial a -> Partial a #

mconcat :: [Partial a] -> Partial a #

Methods

arbitrary :: Gen (Partial a) #

shrink :: Partial a -> [Partial a] #

Methods

(.&.) :: Partial a -> Partial a -> Partial a #

(.|.) :: Partial a -> Partial a -> Partial a #

xor :: Partial a -> Partial a -> Partial a #

complement :: Partial a -> Partial a #

shift :: Partial a -> Int -> Partial a #

rotate :: Partial a -> Int -> Partial a #

zeroBits :: Partial a #

bit :: Int -> Partial a #

setBit :: Partial a -> Int -> Partial a #

clearBit :: Partial a -> Int -> Partial a #

complementBit :: Partial a -> Int -> Partial a #

testBit :: Partial a -> Int -> Bool #

bitSizeMaybe :: Partial a -> Maybe Int #

bitSize :: Partial a -> Int #

isSigned :: Partial a -> Bool #

shiftL :: Partial a -> Int -> Partial a #

unsafeShiftL :: Partial a -> Int -> Partial a #

shiftR :: Partial a -> Int -> Partial a #

unsafeShiftR :: Partial a -> Int -> Partial a #

rotateL :: Partial a -> Int -> Partial a #

rotateR :: Partial a -> Int -> Partial a #

popCount :: Partial a -> Int #

Methods

finiteBitSize :: Partial a -> Int #

countLeadingZeros :: Partial a -> Int #

countTrailingZeros :: Partial a -> Int #

Methods

def :: Partial a #

Methods

rnf :: Partial a -> () #

Methods

randomR :: RandomGen g => (Partial a, Partial a) -> g -> (Partial a, g) #

random :: RandomGen g => g -> (Partial a, g) #

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

randoms :: RandomGen g => g -> [Partial a] #

Methods

from1 :: forall (a :: k). Partial a -> Rep1 Partial a #

to1 :: forall (a :: k). Rep1 Partial a -> Partial a #