Safe Haskell	None
Language	Haskell2010

NewtypeZoo.Unwanted

Description

Indicate that something is Unwanted.

Documentation

newtype Unwanted a Source #

Constructors

Unwanted a

Instances

Instances details

Monad Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods (>>=) :: Unwanted a -> (a -> Unwanted b) -> Unwanted b # (>>) :: Unwanted a -> Unwanted b -> Unwanted b # return :: a -> Unwanted a #
Functor Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods fmap :: (a -> b) -> Unwanted a -> Unwanted b # (<$) :: a -> Unwanted b -> Unwanted a #
MonadFix Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods mfix :: (a -> Unwanted a) -> Unwanted a #
Applicative Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods pure :: a -> Unwanted a # (<>) :: Unwanted (a -> b) -> Unwanted a -> Unwanted b # liftA2 :: (a -> b -> c) -> Unwanted a -> Unwanted b -> Unwanted c # (>) :: Unwanted a -> Unwanted b -> Unwanted b # (<*) :: Unwanted a -> Unwanted b -> Unwanted a #
Foldable Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods fold :: Monoid m => Unwanted m -> m # foldMap :: Monoid m => (a -> m) -> Unwanted a -> m # foldMap' :: Monoid m => (a -> m) -> Unwanted a -> m # foldr :: (a -> b -> b) -> b -> Unwanted a -> b # foldr' :: (a -> b -> b) -> b -> Unwanted a -> b # foldl :: (b -> a -> b) -> b -> Unwanted a -> b # foldl' :: (b -> a -> b) -> b -> Unwanted a -> b # foldr1 :: (a -> a -> a) -> Unwanted a -> a # foldl1 :: (a -> a -> a) -> Unwanted a -> a # toList :: Unwanted a -> [a] # null :: Unwanted a -> Bool # length :: Unwanted a -> Int # elem :: Eq a => a -> Unwanted a -> Bool # maximum :: Ord a => Unwanted a -> a # minimum :: Ord a => Unwanted a -> a # sum :: Num a => Unwanted a -> a # product :: Num a => Unwanted a -> a #
Traversable Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods traverse :: Applicative f => (a -> f b) -> Unwanted a -> f (Unwanted b) # sequenceA :: Applicative f => Unwanted (f a) -> f (Unwanted a) # mapM :: Monad m => (a -> m b) -> Unwanted a -> m (Unwanted b) # sequence :: Monad m => Unwanted (m a) -> m (Unwanted a) #
Eq1 Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods liftEq :: (a -> b -> Bool) -> Unwanted a -> Unwanted b -> Bool #
Ord1 Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods liftCompare :: (a -> b -> Ordering) -> Unwanted a -> Unwanted b -> Ordering #
Read1 Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Unwanted a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Unwanted a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Unwanted a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Unwanted a] #
Show1 Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Unwanted a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Unwanted a] -> ShowS #
MonadZip Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods mzip :: Unwanted a -> Unwanted b -> Unwanted (a, b) # mzipWith :: (a -> b -> c) -> Unwanted a -> Unwanted b -> Unwanted c # munzip :: Unwanted (a, b) -> (Unwanted a, Unwanted b) #
Pointed Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods point :: a -> Unwanted a #
Copointed Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Methods copoint :: Unwanted a -> a #
Bounded a => Bounded (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods minBound :: Unwanted a # maxBound :: Unwanted a #
Enum a => Enum (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods succ :: Unwanted a -> Unwanted a # pred :: Unwanted a -> Unwanted a # toEnum :: Int -> Unwanted a # fromEnum :: Unwanted a -> Int # enumFrom :: Unwanted a -> [Unwanted a] # enumFromThen :: Unwanted a -> Unwanted a -> [Unwanted a] # enumFromTo :: Unwanted a -> Unwanted a -> [Unwanted a] # enumFromThenTo :: Unwanted a -> Unwanted a -> Unwanted a -> [Unwanted a] #
Eq a => Eq (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods (==) :: Unwanted a -> Unwanted a -> Bool # (/=) :: Unwanted a -> Unwanted a -> Bool #
Floating a => Floating (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods pi :: Unwanted a # exp :: Unwanted a -> Unwanted a # log :: Unwanted a -> Unwanted a # sqrt :: Unwanted a -> Unwanted a # (**) :: Unwanted a -> Unwanted a -> Unwanted a # logBase :: Unwanted a -> Unwanted a -> Unwanted a # sin :: Unwanted a -> Unwanted a # cos :: Unwanted a -> Unwanted a # tan :: Unwanted a -> Unwanted a # asin :: Unwanted a -> Unwanted a # acos :: Unwanted a -> Unwanted a # atan :: Unwanted a -> Unwanted a # sinh :: Unwanted a -> Unwanted a # cosh :: Unwanted a -> Unwanted a # tanh :: Unwanted a -> Unwanted a # asinh :: Unwanted a -> Unwanted a # acosh :: Unwanted a -> Unwanted a # atanh :: Unwanted a -> Unwanted a # log1p :: Unwanted a -> Unwanted a # expm1 :: Unwanted a -> Unwanted a # log1pexp :: Unwanted a -> Unwanted a # log1mexp :: Unwanted a -> Unwanted a #
Fractional a => Fractional (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods (/) :: Unwanted a -> Unwanted a -> Unwanted a # recip :: Unwanted a -> Unwanted a # fromRational :: Rational -> Unwanted a #
Integral a => Integral (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods quot :: Unwanted a -> Unwanted a -> Unwanted a # rem :: Unwanted a -> Unwanted a -> Unwanted a # div :: Unwanted a -> Unwanted a -> Unwanted a # mod :: Unwanted a -> Unwanted a -> Unwanted a # quotRem :: Unwanted a -> Unwanted a -> (Unwanted a, Unwanted a) # divMod :: Unwanted a -> Unwanted a -> (Unwanted a, Unwanted a) # toInteger :: Unwanted a -> Integer #
Num a => Num (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods (+) :: Unwanted a -> Unwanted a -> Unwanted a # (-) :: Unwanted a -> Unwanted a -> Unwanted a # (*) :: Unwanted a -> Unwanted a -> Unwanted a # negate :: Unwanted a -> Unwanted a # abs :: Unwanted a -> Unwanted a # signum :: Unwanted a -> Unwanted a # fromInteger :: Integer -> Unwanted a #
Ord a => Ord (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods compare :: Unwanted a -> Unwanted a -> Ordering # (<) :: Unwanted a -> Unwanted a -> Bool # (<=) :: Unwanted a -> Unwanted a -> Bool # (>) :: Unwanted a -> Unwanted a -> Bool # (>=) :: Unwanted a -> Unwanted a -> Bool # max :: Unwanted a -> Unwanted a -> Unwanted a # min :: Unwanted a -> Unwanted a -> Unwanted a #
Read a => Read (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods readsPrec :: Int -> ReadS (Unwanted a) # readList :: ReadS [Unwanted a] # readPrec :: ReadPrec (Unwanted a) # readListPrec :: ReadPrec [Unwanted a] #
Real a => Real (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods toRational :: Unwanted a -> Rational #
RealFloat a => RealFloat (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods floatRadix :: Unwanted a -> Integer # floatDigits :: Unwanted a -> Int # floatRange :: Unwanted a -> (Int, Int) # decodeFloat :: Unwanted a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Unwanted a # exponent :: Unwanted a -> Int # significand :: Unwanted a -> Unwanted a # scaleFloat :: Int -> Unwanted a -> Unwanted a # isNaN :: Unwanted a -> Bool # isInfinite :: Unwanted a -> Bool # isDenormalized :: Unwanted a -> Bool # isNegativeZero :: Unwanted a -> Bool # isIEEE :: Unwanted a -> Bool # atan2 :: Unwanted a -> Unwanted a -> Unwanted a #
RealFrac a => RealFrac (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods properFraction :: Integral b => Unwanted a -> (b, Unwanted a) # truncate :: Integral b => Unwanted a -> b # round :: Integral b => Unwanted a -> b # ceiling :: Integral b => Unwanted a -> b # floor :: Integral b => Unwanted a -> b #
Show a => Show (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods showsPrec :: Int -> Unwanted a -> ShowS # show :: Unwanted a -> String # showList :: [Unwanted a] -> ShowS #
Ix a => Ix (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods range :: (Unwanted a, Unwanted a) -> [Unwanted a] # index :: (Unwanted a, Unwanted a) -> Unwanted a -> Int # unsafeIndex :: (Unwanted a, Unwanted a) -> Unwanted a -> Int # inRange :: (Unwanted a, Unwanted a) -> Unwanted a -> Bool # rangeSize :: (Unwanted a, Unwanted a) -> Int # unsafeRangeSize :: (Unwanted a, Unwanted a) -> Int #
IsString a => IsString (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods fromString :: String -> Unwanted a #
Generic (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Associated Types type Rep (Unwanted a) :: Type -> Type # Methods from :: Unwanted a -> Rep (Unwanted a) x # to :: Rep (Unwanted a) x -> Unwanted a #
Semigroup a => Semigroup (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods (<>) :: Unwanted a -> Unwanted a -> Unwanted a # sconcat :: NonEmpty (Unwanted a) -> Unwanted a # stimes :: Integral b => b -> Unwanted a -> Unwanted a #
Monoid a => Monoid (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods mempty :: Unwanted a # mappend :: Unwanted a -> Unwanted a -> Unwanted a # mconcat :: [Unwanted a] -> Unwanted a #
Arbitrary a => Arbitrary (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods arbitrary :: Gen (Unwanted a) # shrink :: Unwanted a -> [Unwanted a] #
Bits a => Bits (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods (.&.) :: Unwanted a -> Unwanted a -> Unwanted a # (.\|.) :: Unwanted a -> Unwanted a -> Unwanted a # xor :: Unwanted a -> Unwanted a -> Unwanted a # complement :: Unwanted a -> Unwanted a # shift :: Unwanted a -> Int -> Unwanted a # rotate :: Unwanted a -> Int -> Unwanted a # zeroBits :: Unwanted a # bit :: Int -> Unwanted a # setBit :: Unwanted a -> Int -> Unwanted a # clearBit :: Unwanted a -> Int -> Unwanted a # complementBit :: Unwanted a -> Int -> Unwanted a # testBit :: Unwanted a -> Int -> Bool # bitSizeMaybe :: Unwanted a -> Maybe Int # bitSize :: Unwanted a -> Int # isSigned :: Unwanted a -> Bool # shiftL :: Unwanted a -> Int -> Unwanted a # unsafeShiftL :: Unwanted a -> Int -> Unwanted a # shiftR :: Unwanted a -> Int -> Unwanted a # unsafeShiftR :: Unwanted a -> Int -> Unwanted a # rotateL :: Unwanted a -> Int -> Unwanted a # rotateR :: Unwanted a -> Int -> Unwanted a # popCount :: Unwanted a -> Int #
FiniteBits a => FiniteBits (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods finiteBitSize :: Unwanted a -> Int # countLeadingZeros :: Unwanted a -> Int # countTrailingZeros :: Unwanted a -> Int #
Default a => Default (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods def :: Unwanted a #
NFData a => NFData (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods rnf :: Unwanted a -> () #
Random a => Random (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted Methods randomR :: RandomGen g => (Unwanted a, Unwanted a) -> g -> (Unwanted a, g) # random :: RandomGen g => g -> (Unwanted a, g) # randomRs :: RandomGen g => (Unwanted a, Unwanted a) -> g -> [Unwanted a] # randoms :: RandomGen g => g -> [Unwanted a] #
Generic1 Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted Associated Types type Rep1 Unwanted :: k -> Type # Methods from1 :: forall (a :: k). Unwanted a -> Rep1 Unwanted a # to1 :: forall (a :: k). Rep1 Unwanted a -> Unwanted a #
type Rep (Unwanted a) Source #
Instance details Defined in NewtypeZoo.Unwanted type Rep (Unwanted a) = D1 ('MetaData "Unwanted" "NewtypeZoo.Unwanted" "newtype-zoo-1.2.1.0-Km8yne3Tled57gA1FTjiYK" 'True) (C1 ('MetaCons "Unwanted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
type Rep1 Unwanted Source #
Instance details Defined in NewtypeZoo.Unwanted type Rep1 Unwanted = D1 ('MetaData "Unwanted" "NewtypeZoo.Unwanted" "newtype-zoo-1.2.1.0-Km8yne3Tled57gA1FTjiYK" 'True) (C1 ('MetaCons "Unwanted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

_theUnwanted :: Unwanted x -> x Source #

theUnwanted :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Unwanted a) (f (Unwanted b)) Source #