newtype-zoo-1.2.1.0: Newtype Wrapper Zoo
Safe HaskellNone
LanguageHaskell2010

NewtypeZoo.Obsolete

Description

Indicate that something is Obsolete.

Documentation

newtype Obsolete a Source #

Constructors

Obsolete a 

Instances

Instances details
Monad Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

(>>=) :: Obsolete a -> (a -> Obsolete b) -> Obsolete b #

(>>) :: Obsolete a -> Obsolete b -> Obsolete b #

return :: a -> Obsolete a #

Functor Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

fmap :: (a -> b) -> Obsolete a -> Obsolete b #

(<$) :: a -> Obsolete b -> Obsolete a #

MonadFix Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

mfix :: (a -> Obsolete a) -> Obsolete a #

Applicative Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

pure :: a -> Obsolete a #

(<*>) :: Obsolete (a -> b) -> Obsolete a -> Obsolete b #

liftA2 :: (a -> b -> c) -> Obsolete a -> Obsolete b -> Obsolete c #

(*>) :: Obsolete a -> Obsolete b -> Obsolete b #

(<*) :: Obsolete a -> Obsolete b -> Obsolete a #

Foldable Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

fold :: Monoid m => Obsolete m -> m #

foldMap :: Monoid m => (a -> m) -> Obsolete a -> m #

foldMap' :: Monoid m => (a -> m) -> Obsolete a -> m #

foldr :: (a -> b -> b) -> b -> Obsolete a -> b #

foldr' :: (a -> b -> b) -> b -> Obsolete a -> b #

foldl :: (b -> a -> b) -> b -> Obsolete a -> b #

foldl' :: (b -> a -> b) -> b -> Obsolete a -> b #

foldr1 :: (a -> a -> a) -> Obsolete a -> a #

foldl1 :: (a -> a -> a) -> Obsolete a -> a #

toList :: Obsolete a -> [a] #

null :: Obsolete a -> Bool #

length :: Obsolete a -> Int #

elem :: Eq a => a -> Obsolete a -> Bool #

maximum :: Ord a => Obsolete a -> a #

minimum :: Ord a => Obsolete a -> a #

sum :: Num a => Obsolete a -> a #

product :: Num a => Obsolete a -> a #

Traversable Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

traverse :: Applicative f => (a -> f b) -> Obsolete a -> f (Obsolete b) #

sequenceA :: Applicative f => Obsolete (f a) -> f (Obsolete a) #

mapM :: Monad m => (a -> m b) -> Obsolete a -> m (Obsolete b) #

sequence :: Monad m => Obsolete (m a) -> m (Obsolete a) #

Eq1 Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

liftEq :: (a -> b -> Bool) -> Obsolete a -> Obsolete b -> Bool #

Ord1 Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

liftCompare :: (a -> b -> Ordering) -> Obsolete a -> Obsolete b -> Ordering #

Read1 Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Obsolete a) #

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Obsolete a] #

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Obsolete a) #

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Obsolete a] #

Show1 Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Obsolete a -> ShowS #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Obsolete a] -> ShowS #

MonadZip Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

mzip :: Obsolete a -> Obsolete b -> Obsolete (a, b) #

mzipWith :: (a -> b -> c) -> Obsolete a -> Obsolete b -> Obsolete c #

munzip :: Obsolete (a, b) -> (Obsolete a, Obsolete b) #

Pointed Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

point :: a -> Obsolete a #

Copointed Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

copoint :: Obsolete a -> a #

Bounded a => Bounded (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Enum a => Enum (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Eq a => Eq (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

(==) :: Obsolete a -> Obsolete a -> Bool #

(/=) :: Obsolete a -> Obsolete a -> Bool #

Floating a => Floating (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Fractional a => Fractional (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Integral a => Integral (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Num a => Num (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Ord a => Ord (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

compare :: Obsolete a -> Obsolete a -> Ordering #

(<) :: Obsolete a -> Obsolete a -> Bool #

(<=) :: Obsolete a -> Obsolete a -> Bool #

(>) :: Obsolete a -> Obsolete a -> Bool #

(>=) :: Obsolete a -> Obsolete a -> Bool #

max :: Obsolete a -> Obsolete a -> Obsolete a #

min :: Obsolete a -> Obsolete a -> Obsolete a #

Read a => Read (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Real a => Real (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

toRational :: Obsolete a -> Rational #

RealFloat a => RealFloat (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

RealFrac a => RealFrac (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

properFraction :: Integral b => Obsolete a -> (b, Obsolete a) #

truncate :: Integral b => Obsolete a -> b #

round :: Integral b => Obsolete a -> b #

ceiling :: Integral b => Obsolete a -> b #

floor :: Integral b => Obsolete a -> b #

Show a => Show (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

showsPrec :: Int -> Obsolete a -> ShowS #

show :: Obsolete a -> String #

showList :: [Obsolete a] -> ShowS #

Ix a => Ix (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

IsString a => IsString (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

fromString :: String -> Obsolete a #

Generic (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Associated Types

type Rep (Obsolete a) :: Type -> Type #

Methods

from :: Obsolete a -> Rep (Obsolete a) x #

to :: Rep (Obsolete a) x -> Obsolete a #

Semigroup a => Semigroup (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

(<>) :: Obsolete a -> Obsolete a -> Obsolete a #

sconcat :: NonEmpty (Obsolete a) -> Obsolete a #

stimes :: Integral b => b -> Obsolete a -> Obsolete a #

Monoid a => Monoid (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

mempty :: Obsolete a #

mappend :: Obsolete a -> Obsolete a -> Obsolete a #

mconcat :: [Obsolete a] -> Obsolete a #

Arbitrary a => Arbitrary (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

arbitrary :: Gen (Obsolete a) #

shrink :: Obsolete a -> [Obsolete a] #

Bits a => Bits (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

FiniteBits a => FiniteBits (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Default a => Default (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

def :: Obsolete a #

NFData a => NFData (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

rnf :: Obsolete a -> () #

Random a => Random (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Methods

randomR :: RandomGen g => (Obsolete a, Obsolete a) -> g -> (Obsolete a, g) #

random :: RandomGen g => g -> (Obsolete a, g) #

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

randoms :: RandomGen g => g -> [Obsolete a] #

Generic1 Obsolete Source # 
Instance details

Defined in NewtypeZoo.Obsolete

Associated Types

type Rep1 Obsolete :: k -> Type #

Methods

from1 :: forall (a :: k). Obsolete a -> Rep1 Obsolete a #

to1 :: forall (a :: k). Rep1 Obsolete a -> Obsolete a #

type Rep (Obsolete a) Source # 
Instance details

Defined in NewtypeZoo.Obsolete

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

Defined in NewtypeZoo.Obsolete

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

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