NewtypeZoo.Next

Indicate that something is Next.

Documentation

newtype Next a

Constructors

Next a

Instances

Monad Next

Defined in NewtypeZoo.Next

Methods

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

(>>) :: Next a -> Next b -> Next b

return :: a -> Next a

Functor Next

Defined in NewtypeZoo.Next

Methods

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

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

MonadFix Next

Defined in NewtypeZoo.Next

Methods

mfix :: (a -> Next a) -> Next a

Applicative Next

Defined in NewtypeZoo.Next

Methods

pure :: a -> Next a

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

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

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

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

Foldable Next

Defined in NewtypeZoo.Next

Methods

fold :: Monoid m => Next m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Next a -> a

foldl1 :: (a -> a -> a) -> Next a -> a

toList :: Next a -> [a]

null :: Next a -> Bool

length :: Next a -> Int

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

maximum :: Ord a => Next a -> a

minimum :: Ord a => Next a -> a

sum :: Num a => Next a -> a

product :: Num a => Next a -> a

Traversable Next

Defined in NewtypeZoo.Next

Methods

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

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

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

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

Eq1 Next

Defined in NewtypeZoo.Next

Methods

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

Ord1 Next

Defined in NewtypeZoo.Next

Methods

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

Read1 Next

Defined in NewtypeZoo.Next

Methods

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

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

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

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

Show1 Next

Defined in NewtypeZoo.Next

Methods

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

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

MonadZip Next

Defined in NewtypeZoo.Next

Methods

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

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

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

Pointed Next

Defined in NewtypeZoo.Next

Methods

point :: a -> Next a

Copointed Next

Defined in NewtypeZoo.Next

Methods

copoint :: Next a -> a

Bounded a => Bounded (Next a)

Defined in NewtypeZoo.Next

Methods

minBound :: Next a

maxBound :: Next a

Enum a => Enum (Next a)

Defined in NewtypeZoo.Next

Methods

succ :: Next a -> Next a

pred :: Next a -> Next a

toEnum :: Int -> Next a

fromEnum :: Next a -> Int

enumFrom :: Next a -> [Next a]

enumFromThen :: Next a -> Next a -> [Next a]

enumFromTo :: Next a -> Next a -> [Next a]

enumFromThenTo :: Next a -> Next a -> Next a -> [Next a]

Eq a => Eq (Next a)

Defined in NewtypeZoo.Next

Methods

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

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

Floating a => Floating (Next a)

Defined in NewtypeZoo.Next

Methods

pi :: Next a

exp :: Next a -> Next a

log :: Next a -> Next a

sqrt :: Next a -> Next a

(**) :: Next a -> Next a -> Next a

logBase :: Next a -> Next a -> Next a

sin :: Next a -> Next a

cos :: Next a -> Next a

tan :: Next a -> Next a

asin :: Next a -> Next a

acos :: Next a -> Next a

atan :: Next a -> Next a

sinh :: Next a -> Next a

cosh :: Next a -> Next a

tanh :: Next a -> Next a

asinh :: Next a -> Next a

acosh :: Next a -> Next a

atanh :: Next a -> Next a

log1p :: Next a -> Next a

expm1 :: Next a -> Next a

log1pexp :: Next a -> Next a

log1mexp :: Next a -> Next a

Fractional a => Fractional (Next a)

Defined in NewtypeZoo.Next

Methods

(/) :: Next a -> Next a -> Next a

recip :: Next a -> Next a

fromRational :: Rational -> Next a

Integral a => Integral (Next a)

Defined in NewtypeZoo.Next

Methods

quot :: Next a -> Next a -> Next a

rem :: Next a -> Next a -> Next a

div :: Next a -> Next a -> Next a

mod :: Next a -> Next a -> Next a

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

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

toInteger :: Next a -> Integer

Num a => Num (Next a)

Defined in NewtypeZoo.Next

Methods

(+) :: Next a -> Next a -> Next a

(-) :: Next a -> Next a -> Next a

(*) :: Next a -> Next a -> Next a

negate :: Next a -> Next a

abs :: Next a -> Next a

signum :: Next a -> Next a

fromInteger :: Integer -> Next a

Ord a => Ord (Next a)

Defined in NewtypeZoo.Next

Methods

compare :: Next a -> Next a -> Ordering

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

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

(>) :: Next a -> Next a -> Bool

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

max :: Next a -> Next a -> Next a

min :: Next a -> Next a -> Next a

Read a => Read (Next a)

Defined in NewtypeZoo.Next

Methods

readsPrec :: Int -> ReadS (Next a)

readList :: ReadS [Next a]

readPrec :: ReadPrec (Next a)

readListPrec :: ReadPrec [Next a]

Real a => Real (Next a)

Defined in NewtypeZoo.Next

Methods

toRational :: Next a -> Rational

RealFloat a => RealFloat (Next a)

Defined in NewtypeZoo.Next

Methods

floatRadix :: Next a -> Integer

floatDigits :: Next a -> Int

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

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

encodeFloat :: Integer -> Int -> Next a

exponent :: Next a -> Int

significand :: Next a -> Next a

scaleFloat :: Int -> Next a -> Next a

isNaN :: Next a -> Bool

isInfinite :: Next a -> Bool

isDenormalized :: Next a -> Bool

isNegativeZero :: Next a -> Bool

isIEEE :: Next a -> Bool

atan2 :: Next a -> Next a -> Next a

RealFrac a => RealFrac (Next a)

Defined in NewtypeZoo.Next

Methods

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

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

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

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

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

Show a => Show (Next a)

Defined in NewtypeZoo.Next

Methods

showsPrec :: Int -> Next a -> ShowS

show :: Next a -> String

showList :: [Next a] -> ShowS

Ix a => Ix (Next a)

Defined in NewtypeZoo.Next

Methods

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

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

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

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

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

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

IsString a => IsString (Next a)

Defined in NewtypeZoo.Next

Methods

fromString :: String -> Next a

Generic (Next a)

Defined in NewtypeZoo.Next

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Next a)

Defined in NewtypeZoo.Next

Methods

(<>) :: Next a -> Next a -> Next a

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

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

Monoid a => Monoid (Next a)

Defined in NewtypeZoo.Next

Methods

mempty :: Next a

mappend :: Next a -> Next a -> Next a

mconcat :: [Next a] -> Next a

Arbitrary a => Arbitrary (Next a)

Defined in NewtypeZoo.Next

Methods

arbitrary :: Gen (Next a)

shrink :: Next a -> [Next a]

Bits a => Bits (Next a)

Defined in NewtypeZoo.Next

Methods

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

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

xor :: Next a -> Next a -> Next a

complement :: Next a -> Next a

shift :: Next a -> Int -> Next a

rotate :: Next a -> Int -> Next a

zeroBits :: Next a

bit :: Int -> Next a

setBit :: Next a -> Int -> Next a

clearBit :: Next a -> Int -> Next a

complementBit :: Next a -> Int -> Next a

testBit :: Next a -> Int -> Bool

bitSizeMaybe :: Next a -> Maybe Int

bitSize :: Next a -> Int

isSigned :: Next a -> Bool

shiftL :: Next a -> Int -> Next a

unsafeShiftL :: Next a -> Int -> Next a

shiftR :: Next a -> Int -> Next a

unsafeShiftR :: Next a -> Int -> Next a

rotateL :: Next a -> Int -> Next a

rotateR :: Next a -> Int -> Next a

popCount :: Next a -> Int

FiniteBits a => FiniteBits (Next a)

Defined in NewtypeZoo.Next

Methods

finiteBitSize :: Next a -> Int

countLeadingZeros :: Next a -> Int

countTrailingZeros :: Next a -> Int

Default a => Default (Next a)

Defined in NewtypeZoo.Next

Methods

def :: Next a

NFData a => NFData (Next a)

Defined in NewtypeZoo.Next

Methods

rnf :: Next a -> ()

Random a => Random (Next a)

Defined in NewtypeZoo.Next

Methods

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

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

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

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

Generic1 Next

Defined in NewtypeZoo.Next

Associated Types

type Rep1 Next :: k -> Type

Methods

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

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

type Rep (Next a)

Defined in NewtypeZoo.Next

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

type Rep1 Next

Defined in NewtypeZoo.Next

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

_theNext :: Next x -> x

theNext :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Next a) (f (Next b))