NewtypeZoo.New

Indicate that something is New.

Documentation

newtype New a

Constructors

New a

Instances

Monad New

Defined in NewtypeZoo.New

Methods

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

(>>) :: New a -> New b -> New b

return :: a -> New a

Functor New

Defined in NewtypeZoo.New

Methods

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

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

MonadFix New

Defined in NewtypeZoo.New

Methods

mfix :: (a -> New a) -> New a

Applicative New

Defined in NewtypeZoo.New

Methods

pure :: a -> New a

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

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

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

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

Foldable New

Defined in NewtypeZoo.New

Methods

fold :: Monoid m => New m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> New a -> a

foldl1 :: (a -> a -> a) -> New a -> a

toList :: New a -> [a]

null :: New a -> Bool

length :: New a -> Int

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

maximum :: Ord a => New a -> a

minimum :: Ord a => New a -> a

sum :: Num a => New a -> a

product :: Num a => New a -> a

Traversable New

Defined in NewtypeZoo.New

Methods

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

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

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

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

Eq1 New

Defined in NewtypeZoo.New

Methods

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

Ord1 New

Defined in NewtypeZoo.New

Methods

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

Read1 New

Defined in NewtypeZoo.New

Methods

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

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

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

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

Show1 New

Defined in NewtypeZoo.New

Methods

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

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

MonadZip New

Defined in NewtypeZoo.New

Methods

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

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

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

Pointed New

Defined in NewtypeZoo.New

Methods

point :: a -> New a

Copointed New

Defined in NewtypeZoo.New

Methods

copoint :: New a -> a

Bounded a => Bounded (New a)

Defined in NewtypeZoo.New

Methods

minBound :: New a

maxBound :: New a

Enum a => Enum (New a)

Defined in NewtypeZoo.New

Methods

succ :: New a -> New a

pred :: New a -> New a

toEnum :: Int -> New a

fromEnum :: New a -> Int

enumFrom :: New a -> [New a]

enumFromThen :: New a -> New a -> [New a]

enumFromTo :: New a -> New a -> [New a]

enumFromThenTo :: New a -> New a -> New a -> [New a]

Eq a => Eq (New a)

Defined in NewtypeZoo.New

Methods

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

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

Floating a => Floating (New a)

Defined in NewtypeZoo.New

Methods

pi :: New a

exp :: New a -> New a

log :: New a -> New a

sqrt :: New a -> New a

(**) :: New a -> New a -> New a

logBase :: New a -> New a -> New a

sin :: New a -> New a

cos :: New a -> New a

tan :: New a -> New a

asin :: New a -> New a

acos :: New a -> New a

atan :: New a -> New a

sinh :: New a -> New a

cosh :: New a -> New a

tanh :: New a -> New a

asinh :: New a -> New a

acosh :: New a -> New a

atanh :: New a -> New a

log1p :: New a -> New a

expm1 :: New a -> New a

log1pexp :: New a -> New a

log1mexp :: New a -> New a

Fractional a => Fractional (New a)

Defined in NewtypeZoo.New

Methods

(/) :: New a -> New a -> New a

recip :: New a -> New a

fromRational :: Rational -> New a

Integral a => Integral (New a)

Defined in NewtypeZoo.New

Methods

quot :: New a -> New a -> New a

rem :: New a -> New a -> New a

div :: New a -> New a -> New a

mod :: New a -> New a -> New a

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

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

toInteger :: New a -> Integer

Num a => Num (New a)

Defined in NewtypeZoo.New

Methods

(+) :: New a -> New a -> New a

(-) :: New a -> New a -> New a

(*) :: New a -> New a -> New a

negate :: New a -> New a

abs :: New a -> New a

signum :: New a -> New a

fromInteger :: Integer -> New a

Ord a => Ord (New a)

Defined in NewtypeZoo.New

Methods

compare :: New a -> New a -> Ordering

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

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

(>) :: New a -> New a -> Bool

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

max :: New a -> New a -> New a

min :: New a -> New a -> New a

Read a => Read (New a)

Defined in NewtypeZoo.New

Methods

readsPrec :: Int -> ReadS (New a)

readList :: ReadS [New a]

readPrec :: ReadPrec (New a)

readListPrec :: ReadPrec [New a]

Real a => Real (New a)

Defined in NewtypeZoo.New

Methods

toRational :: New a -> Rational

RealFloat a => RealFloat (New a)

Defined in NewtypeZoo.New

Methods

floatRadix :: New a -> Integer

floatDigits :: New a -> Int

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

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

encodeFloat :: Integer -> Int -> New a

exponent :: New a -> Int

significand :: New a -> New a

scaleFloat :: Int -> New a -> New a

isNaN :: New a -> Bool

isInfinite :: New a -> Bool

isDenormalized :: New a -> Bool

isNegativeZero :: New a -> Bool

isIEEE :: New a -> Bool

atan2 :: New a -> New a -> New a

RealFrac a => RealFrac (New a)

Defined in NewtypeZoo.New

Methods

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

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

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

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

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

Show a => Show (New a)

Defined in NewtypeZoo.New

Methods

showsPrec :: Int -> New a -> ShowS

show :: New a -> String

showList :: [New a] -> ShowS

Ix a => Ix (New a)

Defined in NewtypeZoo.New

Methods

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

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

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

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

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

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

IsString a => IsString (New a)

Defined in NewtypeZoo.New

Methods

fromString :: String -> New a

Generic (New a)

Defined in NewtypeZoo.New

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (New a)

Defined in NewtypeZoo.New

Methods

(<>) :: New a -> New a -> New a

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

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

Monoid a => Monoid (New a)

Defined in NewtypeZoo.New

Methods

mempty :: New a

mappend :: New a -> New a -> New a

mconcat :: [New a] -> New a

Arbitrary a => Arbitrary (New a)

Defined in NewtypeZoo.New

Methods

arbitrary :: Gen (New a)

shrink :: New a -> [New a]

Bits a => Bits (New a)

Defined in NewtypeZoo.New

Methods

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

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

xor :: New a -> New a -> New a

complement :: New a -> New a

shift :: New a -> Int -> New a

rotate :: New a -> Int -> New a

zeroBits :: New a

bit :: Int -> New a

setBit :: New a -> Int -> New a

clearBit :: New a -> Int -> New a

complementBit :: New a -> Int -> New a

testBit :: New a -> Int -> Bool

bitSizeMaybe :: New a -> Maybe Int

bitSize :: New a -> Int

isSigned :: New a -> Bool

shiftL :: New a -> Int -> New a

unsafeShiftL :: New a -> Int -> New a

shiftR :: New a -> Int -> New a

unsafeShiftR :: New a -> Int -> New a

rotateL :: New a -> Int -> New a

rotateR :: New a -> Int -> New a

popCount :: New a -> Int

FiniteBits a => FiniteBits (New a)

Defined in NewtypeZoo.New

Methods

finiteBitSize :: New a -> Int

countLeadingZeros :: New a -> Int

countTrailingZeros :: New a -> Int

Default a => Default (New a)

Defined in NewtypeZoo.New

Methods

def :: New a

NFData a => NFData (New a)

Defined in NewtypeZoo.New

Methods

rnf :: New a -> ()

Random a => Random (New a)

Defined in NewtypeZoo.New

Methods

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

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

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

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

Generic1 New

Defined in NewtypeZoo.New

Associated Types

type Rep1 New :: k -> Type

Methods

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

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

type Rep (New a)

Defined in NewtypeZoo.New

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

type Rep1 New

Defined in NewtypeZoo.New

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

_theNew :: New x -> x

theNew :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (New a) (f (New b))