NewtypeZoo.Old
Description
Indicate that something is Old.
Old
newtype Old a Source #
Constructors
Defined in NewtypeZoo.Old
Methods
(>>=) :: Old a -> (a -> Old b) -> Old b #
(>>) :: Old a -> Old b -> Old b #
return :: a -> Old a #
fmap :: (a -> b) -> Old a -> Old b #
(<$) :: a -> Old b -> Old a #
mfix :: (a -> Old a) -> Old a #
pure :: a -> Old a #
(<*>) :: Old (a -> b) -> Old a -> Old b #
liftA2 :: (a -> b -> c) -> Old a -> Old b -> Old c #
(*>) :: Old a -> Old b -> Old b #
(<*) :: Old a -> Old b -> Old a #
fold :: Monoid m => Old m -> m #
foldMap :: Monoid m => (a -> m) -> Old a -> m #
foldMap' :: Monoid m => (a -> m) -> Old a -> m #
foldr :: (a -> b -> b) -> b -> Old a -> b #
foldr' :: (a -> b -> b) -> b -> Old a -> b #
foldl :: (b -> a -> b) -> b -> Old a -> b #
foldl' :: (b -> a -> b) -> b -> Old a -> b #
foldr1 :: (a -> a -> a) -> Old a -> a #
foldl1 :: (a -> a -> a) -> Old a -> a #
toList :: Old a -> [a] #
null :: Old a -> Bool #
length :: Old a -> Int #
elem :: Eq a => a -> Old a -> Bool #
maximum :: Ord a => Old a -> a #
minimum :: Ord a => Old a -> a #
sum :: Num a => Old a -> a #
product :: Num a => Old a -> a #
traverse :: Applicative f => (a -> f b) -> Old a -> f (Old b) #
sequenceA :: Applicative f => Old (f a) -> f (Old a) #
mapM :: Monad m => (a -> m b) -> Old a -> m (Old b) #
sequence :: Monad m => Old (m a) -> m (Old a) #
liftEq :: (a -> b -> Bool) -> Old a -> Old b -> Bool #
liftCompare :: (a -> b -> Ordering) -> Old a -> Old b -> Ordering #
liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Old a) #
liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Old a] #
liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Old a) #
liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Old a] #
liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Old a -> ShowS #
liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Old a] -> ShowS #
mzip :: Old a -> Old b -> Old (a, b) #
mzipWith :: (a -> b -> c) -> Old a -> Old b -> Old c #
munzip :: Old (a, b) -> (Old a, Old b) #
point :: a -> Old a #
copoint :: Old a -> a #
minBound :: Old a #
maxBound :: Old a #
succ :: Old a -> Old a #
pred :: Old a -> Old a #
toEnum :: Int -> Old a #
fromEnum :: Old a -> Int #
enumFrom :: Old a -> [Old a] #
enumFromThen :: Old a -> Old a -> [Old a] #
enumFromTo :: Old a -> Old a -> [Old a] #
enumFromThenTo :: Old a -> Old a -> Old a -> [Old a] #
(==) :: Old a -> Old a -> Bool #
(/=) :: Old a -> Old a -> Bool #
pi :: Old a #
exp :: Old a -> Old a #
log :: Old a -> Old a #
sqrt :: Old a -> Old a #
(**) :: Old a -> Old a -> Old a #
logBase :: Old a -> Old a -> Old a #
sin :: Old a -> Old a #
cos :: Old a -> Old a #
tan :: Old a -> Old a #
asin :: Old a -> Old a #
acos :: Old a -> Old a #
atan :: Old a -> Old a #
sinh :: Old a -> Old a #
cosh :: Old a -> Old a #
tanh :: Old a -> Old a #
asinh :: Old a -> Old a #
acosh :: Old a -> Old a #
atanh :: Old a -> Old a #
log1p :: Old a -> Old a #
expm1 :: Old a -> Old a #
log1pexp :: Old a -> Old a #
log1mexp :: Old a -> Old a #
(/) :: Old a -> Old a -> Old a #
recip :: Old a -> Old a #
fromRational :: Rational -> Old a #
quot :: Old a -> Old a -> Old a #
rem :: Old a -> Old a -> Old a #
div :: Old a -> Old a -> Old a #
mod :: Old a -> Old a -> Old a #
quotRem :: Old a -> Old a -> (Old a, Old a) #
divMod :: Old a -> Old a -> (Old a, Old a) #
toInteger :: Old a -> Integer #
(+) :: Old a -> Old a -> Old a #
(-) :: Old a -> Old a -> Old a #
(*) :: Old a -> Old a -> Old a #
negate :: Old a -> Old a #
abs :: Old a -> Old a #
signum :: Old a -> Old a #
fromInteger :: Integer -> Old a #
compare :: Old a -> Old a -> Ordering #
(<) :: Old a -> Old a -> Bool #
(<=) :: Old a -> Old a -> Bool #
(>) :: Old a -> Old a -> Bool #
(>=) :: Old a -> Old a -> Bool #
max :: Old a -> Old a -> Old a #
min :: Old a -> Old a -> Old a #
readsPrec :: Int -> ReadS (Old a) #
readList :: ReadS [Old a] #
readPrec :: ReadPrec (Old a) #
readListPrec :: ReadPrec [Old a] #
toRational :: Old a -> Rational #
floatRadix :: Old a -> Integer #
floatDigits :: Old a -> Int #
floatRange :: Old a -> (Int, Int) #
decodeFloat :: Old a -> (Integer, Int) #
encodeFloat :: Integer -> Int -> Old a #
exponent :: Old a -> Int #
significand :: Old a -> Old a #
scaleFloat :: Int -> Old a -> Old a #
isNaN :: Old a -> Bool #
isInfinite :: Old a -> Bool #
isDenormalized :: Old a -> Bool #
isNegativeZero :: Old a -> Bool #
isIEEE :: Old a -> Bool #
atan2 :: Old a -> Old a -> Old a #
properFraction :: Integral b => Old a -> (b, Old a) #
truncate :: Integral b => Old a -> b #
round :: Integral b => Old a -> b #
ceiling :: Integral b => Old a -> b #
floor :: Integral b => Old a -> b #
showsPrec :: Int -> Old a -> ShowS #
show :: Old a -> String #
showList :: [Old a] -> ShowS #
range :: (Old a, Old a) -> [Old a] #
index :: (Old a, Old a) -> Old a -> Int #
unsafeIndex :: (Old a, Old a) -> Old a -> Int #
inRange :: (Old a, Old a) -> Old a -> Bool #
rangeSize :: (Old a, Old a) -> Int #
unsafeRangeSize :: (Old a, Old a) -> Int #
fromString :: String -> Old a #
Associated Types
type Rep (Old a) :: Type -> Type #
from :: Old a -> Rep (Old a) x #
to :: Rep (Old a) x -> Old a #
(<>) :: Old a -> Old a -> Old a #
sconcat :: NonEmpty (Old a) -> Old a #
stimes :: Integral b => b -> Old a -> Old a #
mempty :: Old a #
mappend :: Old a -> Old a -> Old a #
mconcat :: [Old a] -> Old a #
arbitrary :: Gen (Old a) #
shrink :: Old a -> [Old a] #
(.&.) :: Old a -> Old a -> Old a #
(.|.) :: Old a -> Old a -> Old a #
xor :: Old a -> Old a -> Old a #
complement :: Old a -> Old a #
shift :: Old a -> Int -> Old a #
rotate :: Old a -> Int -> Old a #
zeroBits :: Old a #
bit :: Int -> Old a #
setBit :: Old a -> Int -> Old a #
clearBit :: Old a -> Int -> Old a #
complementBit :: Old a -> Int -> Old a #
testBit :: Old a -> Int -> Bool #
bitSizeMaybe :: Old a -> Maybe Int #
bitSize :: Old a -> Int #
isSigned :: Old a -> Bool #
shiftL :: Old a -> Int -> Old a #
unsafeShiftL :: Old a -> Int -> Old a #
shiftR :: Old a -> Int -> Old a #
unsafeShiftR :: Old a -> Int -> Old a #
rotateL :: Old a -> Int -> Old a #
rotateR :: Old a -> Int -> Old a #
popCount :: Old a -> Int #
finiteBitSize :: Old a -> Int #
countLeadingZeros :: Old a -> Int #
countTrailingZeros :: Old a -> Int #
def :: Old a #
rnf :: Old a -> () #
randomR :: RandomGen g => (Old a, Old a) -> g -> (Old a, g) #
random :: RandomGen g => g -> (Old a, g) #
randomRs :: RandomGen g => (Old a, Old a) -> g -> [Old a] #
randoms :: RandomGen g => g -> [Old a] #
type Rep1 Old :: k -> Type #
from1 :: forall (a :: k). Old a -> Rep1 Old a #
to1 :: forall (a :: k). Rep1 Old a -> Old a #
_theOld :: Old x -> x Source #
theOld :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Old a) (f (Old b)) Source #