NewtypeZoo.Previous

Indicate that something is the Previous one.

Documentation

newtype Previous a

Constructors

Previous a

Instances

Monad Previous

Defined in NewtypeZoo.Previous

Methods

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

(>>) :: Previous a -> Previous b -> Previous b

return :: a -> Previous a

Functor Previous

Defined in NewtypeZoo.Previous

Methods

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

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

MonadFix Previous

Defined in NewtypeZoo.Previous

Methods

mfix :: (a -> Previous a) -> Previous a

Applicative Previous

Defined in NewtypeZoo.Previous

Methods

pure :: a -> Previous a

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

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

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

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

Foldable Previous

Defined in NewtypeZoo.Previous

Methods

fold :: Monoid m => Previous m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Previous a -> a

foldl1 :: (a -> a -> a) -> Previous a -> a

toList :: Previous a -> [a]

null :: Previous a -> Bool

length :: Previous a -> Int

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

maximum :: Ord a => Previous a -> a

minimum :: Ord a => Previous a -> a

sum :: Num a => Previous a -> a

product :: Num a => Previous a -> a

Traversable Previous

Defined in NewtypeZoo.Previous

Methods

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

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

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

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

Eq1 Previous

Defined in NewtypeZoo.Previous

Methods

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

Ord1 Previous

Defined in NewtypeZoo.Previous

Methods

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

Read1 Previous

Defined in NewtypeZoo.Previous

Methods

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

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

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

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

Show1 Previous

Defined in NewtypeZoo.Previous

Methods

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

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

MonadZip Previous

Defined in NewtypeZoo.Previous

Methods

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

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

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

Pointed Previous

Defined in NewtypeZoo.Previous

Methods

point :: a -> Previous a

Copointed Previous

Defined in NewtypeZoo.Previous

Methods

copoint :: Previous a -> a

Bounded a => Bounded (Previous a)

Defined in NewtypeZoo.Previous

Methods

minBound :: Previous a

maxBound :: Previous a

Enum a => Enum (Previous a)

Defined in NewtypeZoo.Previous

Methods

succ :: Previous a -> Previous a

pred :: Previous a -> Previous a

toEnum :: Int -> Previous a

fromEnum :: Previous a -> Int

enumFrom :: Previous a -> [Previous a]

enumFromThen :: Previous a -> Previous a -> [Previous a]

enumFromTo :: Previous a -> Previous a -> [Previous a]

enumFromThenTo :: Previous a -> Previous a -> Previous a -> [Previous a]

Eq a => Eq (Previous a)

Defined in NewtypeZoo.Previous

Methods

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

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

Floating a => Floating (Previous a)

Defined in NewtypeZoo.Previous

Methods

pi :: Previous a

exp :: Previous a -> Previous a

log :: Previous a -> Previous a

sqrt :: Previous a -> Previous a

(**) :: Previous a -> Previous a -> Previous a

logBase :: Previous a -> Previous a -> Previous a

sin :: Previous a -> Previous a

cos :: Previous a -> Previous a

tan :: Previous a -> Previous a

asin :: Previous a -> Previous a

acos :: Previous a -> Previous a

atan :: Previous a -> Previous a

sinh :: Previous a -> Previous a

cosh :: Previous a -> Previous a

tanh :: Previous a -> Previous a

asinh :: Previous a -> Previous a

acosh :: Previous a -> Previous a

atanh :: Previous a -> Previous a

log1p :: Previous a -> Previous a

expm1 :: Previous a -> Previous a

log1pexp :: Previous a -> Previous a

log1mexp :: Previous a -> Previous a

Fractional a => Fractional (Previous a)

Defined in NewtypeZoo.Previous

Methods

(/) :: Previous a -> Previous a -> Previous a

recip :: Previous a -> Previous a

fromRational :: Rational -> Previous a

Integral a => Integral (Previous a)

Defined in NewtypeZoo.Previous

Methods

quot :: Previous a -> Previous a -> Previous a

rem :: Previous a -> Previous a -> Previous a

div :: Previous a -> Previous a -> Previous a

mod :: Previous a -> Previous a -> Previous a

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

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

toInteger :: Previous a -> Integer

Num a => Num (Previous a)

Defined in NewtypeZoo.Previous

Methods

(+) :: Previous a -> Previous a -> Previous a

(-) :: Previous a -> Previous a -> Previous a

(*) :: Previous a -> Previous a -> Previous a

negate :: Previous a -> Previous a

abs :: Previous a -> Previous a

signum :: Previous a -> Previous a

fromInteger :: Integer -> Previous a

Ord a => Ord (Previous a)

Defined in NewtypeZoo.Previous

Methods

compare :: Previous a -> Previous a -> Ordering

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

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

(>) :: Previous a -> Previous a -> Bool

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

max :: Previous a -> Previous a -> Previous a

min :: Previous a -> Previous a -> Previous a

Read a => Read (Previous a)

Defined in NewtypeZoo.Previous

Methods

readsPrec :: Int -> ReadS (Previous a)

readList :: ReadS [Previous a]

readPrec :: ReadPrec (Previous a)

readListPrec :: ReadPrec [Previous a]

Real a => Real (Previous a)

Defined in NewtypeZoo.Previous

Methods

toRational :: Previous a -> Rational

RealFloat a => RealFloat (Previous a)

Defined in NewtypeZoo.Previous

Methods

floatRadix :: Previous a -> Integer

floatDigits :: Previous a -> Int

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

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

encodeFloat :: Integer -> Int -> Previous a

exponent :: Previous a -> Int

significand :: Previous a -> Previous a

scaleFloat :: Int -> Previous a -> Previous a

isNaN :: Previous a -> Bool

isInfinite :: Previous a -> Bool

isDenormalized :: Previous a -> Bool

isNegativeZero :: Previous a -> Bool

isIEEE :: Previous a -> Bool

atan2 :: Previous a -> Previous a -> Previous a

RealFrac a => RealFrac (Previous a)

Defined in NewtypeZoo.Previous

Methods

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

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

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

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

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

Show a => Show (Previous a)

Defined in NewtypeZoo.Previous

Methods

showsPrec :: Int -> Previous a -> ShowS

show :: Previous a -> String

showList :: [Previous a] -> ShowS

Ix a => Ix (Previous a)

Defined in NewtypeZoo.Previous

Methods

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

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

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

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

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

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

IsString a => IsString (Previous a)

Defined in NewtypeZoo.Previous

Methods

fromString :: String -> Previous a

Generic (Previous a)

Defined in NewtypeZoo.Previous

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Previous a)

Defined in NewtypeZoo.Previous

Methods

(<>) :: Previous a -> Previous a -> Previous a

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

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

Monoid a => Monoid (Previous a)

Defined in NewtypeZoo.Previous

Methods

mempty :: Previous a

mappend :: Previous a -> Previous a -> Previous a

mconcat :: [Previous a] -> Previous a

Arbitrary a => Arbitrary (Previous a)

Defined in NewtypeZoo.Previous

Methods

arbitrary :: Gen (Previous a)

shrink :: Previous a -> [Previous a]

Bits a => Bits (Previous a)

Defined in NewtypeZoo.Previous

Methods

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

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

xor :: Previous a -> Previous a -> Previous a

complement :: Previous a -> Previous a

shift :: Previous a -> Int -> Previous a

rotate :: Previous a -> Int -> Previous a

zeroBits :: Previous a

bit :: Int -> Previous a

setBit :: Previous a -> Int -> Previous a

clearBit :: Previous a -> Int -> Previous a

complementBit :: Previous a -> Int -> Previous a

testBit :: Previous a -> Int -> Bool

bitSizeMaybe :: Previous a -> Maybe Int

bitSize :: Previous a -> Int

isSigned :: Previous a -> Bool

shiftL :: Previous a -> Int -> Previous a

unsafeShiftL :: Previous a -> Int -> Previous a

shiftR :: Previous a -> Int -> Previous a

unsafeShiftR :: Previous a -> Int -> Previous a

rotateL :: Previous a -> Int -> Previous a

rotateR :: Previous a -> Int -> Previous a

popCount :: Previous a -> Int

FiniteBits a => FiniteBits (Previous a)

Defined in NewtypeZoo.Previous

Methods

finiteBitSize :: Previous a -> Int

countLeadingZeros :: Previous a -> Int

countTrailingZeros :: Previous a -> Int

Default a => Default (Previous a)

Defined in NewtypeZoo.Previous

Methods

def :: Previous a

NFData a => NFData (Previous a)

Defined in NewtypeZoo.Previous

Methods

rnf :: Previous a -> ()

Random a => Random (Previous a)

Defined in NewtypeZoo.Previous

Methods

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

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

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

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

Generic1 Previous

Defined in NewtypeZoo.Previous

Associated Types

type Rep1 Previous :: k -> Type

Methods

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

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

type Rep (Previous a)

Defined in NewtypeZoo.Previous

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

type Rep1 Previous

Defined in NewtypeZoo.Previous

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

_thePrevious :: Previous x -> x

thePrevious :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Previous a) (f (Previous b))