Documentation

Methods

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

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

return :: a -> Required a #

Methods

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

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

Methods

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

Methods

pure :: a -> Required a #

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

toList :: Required a -> [a] #

null :: Required a -> Bool #

length :: Required a -> Int #

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

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

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

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

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

Methods

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

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

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

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

Methods

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

Methods

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

Methods

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

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

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

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

Methods

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

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

Methods

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

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

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

Methods

point :: a -> Required a #

Methods

copoint :: Required a -> a #

Methods

minBound :: Required a #

maxBound :: Required a #

Methods

succ :: Required a -> Required a #

pred :: Required a -> Required a #

toEnum :: Int -> Required a #

fromEnum :: Required a -> Int #

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

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

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

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

Methods

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

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

Methods

pi :: Required a #

exp :: Required a -> Required a #

log :: Required a -> Required a #

sqrt :: Required a -> Required a #

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

logBase :: Required a -> Required a -> Required a #

sin :: Required a -> Required a #

cos :: Required a -> Required a #

tan :: Required a -> Required a #

asin :: Required a -> Required a #

acos :: Required a -> Required a #

atan :: Required a -> Required a #

sinh :: Required a -> Required a #

cosh :: Required a -> Required a #

tanh :: Required a -> Required a #

asinh :: Required a -> Required a #

acosh :: Required a -> Required a #

atanh :: Required a -> Required a #

log1p :: Required a -> Required a #

expm1 :: Required a -> Required a #

log1pexp :: Required a -> Required a #

log1mexp :: Required a -> Required a #

Methods

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

recip :: Required a -> Required a #

fromRational :: Rational -> Required a #

Methods

quot :: Required a -> Required a -> Required a #

rem :: Required a -> Required a -> Required a #

div :: Required a -> Required a -> Required a #

mod :: Required a -> Required a -> Required a #

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

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

toInteger :: Required a -> Integer #

Methods

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

(-) :: Required a -> Required a -> Required a #

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

negate :: Required a -> Required a #

abs :: Required a -> Required a #

signum :: Required a -> Required a #

fromInteger :: Integer -> Required a #

Methods

compare :: Required a -> Required a -> Ordering #

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

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

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

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

max :: Required a -> Required a -> Required a #

min :: Required a -> Required a -> Required a #

Methods

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

readList :: ReadS [Required a] #

readPrec :: ReadPrec (Required a) #

readListPrec :: ReadPrec [Required a] #

Methods

toRational :: Required a -> Rational #

Methods

floatRadix :: Required a -> Integer #

floatDigits :: Required a -> Int #

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

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

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

exponent :: Required a -> Int #

significand :: Required a -> Required a #

scaleFloat :: Int -> Required a -> Required a #

isNaN :: Required a -> Bool #

isInfinite :: Required a -> Bool #

isDenormalized :: Required a -> Bool #

isNegativeZero :: Required a -> Bool #

isIEEE :: Required a -> Bool #

atan2 :: Required a -> Required a -> Required a #

Methods

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

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

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

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

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

Methods

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

show :: Required a -> String #

showList :: [Required a] -> ShowS #

Methods

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

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

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

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

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

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

Methods

fromString :: String -> Required a #

Methods

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

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

Methods

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

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

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

Methods

mempty :: Required a #

mappend :: Required a -> Required a -> Required a #

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

Methods

arbitrary :: Gen (Required a) #

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

Methods

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

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

xor :: Required a -> Required a -> Required a #

complement :: Required a -> Required a #

shift :: Required a -> Int -> Required a #

rotate :: Required a -> Int -> Required a #

zeroBits :: Required a #

bit :: Int -> Required a #

setBit :: Required a -> Int -> Required a #

clearBit :: Required a -> Int -> Required a #

complementBit :: Required a -> Int -> Required a #

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

bitSizeMaybe :: Required a -> Maybe Int #

bitSize :: Required a -> Int #

isSigned :: Required a -> Bool #

shiftL :: Required a -> Int -> Required a #

unsafeShiftL :: Required a -> Int -> Required a #

shiftR :: Required a -> Int -> Required a #

unsafeShiftR :: Required a -> Int -> Required a #

rotateL :: Required a -> Int -> Required a #

rotateR :: Required a -> Int -> Required a #

popCount :: Required a -> Int #

Methods

finiteBitSize :: Required a -> Int #

countLeadingZeros :: Required a -> Int #

countTrailingZeros :: Required a -> Int #

Methods

def :: Required a #

Methods

rnf :: Required a -> () #

Methods

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

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

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

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

Methods

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

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