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

NewtypeZoo.Responded

Description

Indicate that something was Responded.

Documentation

newtype Responded a Source #

Constructors

Responded a 

Instances

Instances details
Monad Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

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

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

return :: a -> Responded a #

Functor Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

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

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

MonadFix Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

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

Applicative Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

pure :: a -> Responded a #

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

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

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

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

Foldable Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

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

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

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

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

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

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

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

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

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

toList :: Responded a -> [a] #

null :: Responded a -> Bool #

length :: Responded a -> Int #

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

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

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

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

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

Traversable Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

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

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

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

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

Eq1 Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

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

Ord1 Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

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

Read1 Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Show1 Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

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

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

MonadZip Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

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

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

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

Pointed Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

point :: a -> Responded a #

Copointed Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Methods

copoint :: Responded a -> a #

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

Methods

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

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

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

Methods

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

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

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

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

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

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

Methods

fromString :: String -> Responded a #

Generic (Responded a) Source # 
Instance details

Defined in NewtypeZoo.Responded

Associated Types

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

Methods

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

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

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

Defined in NewtypeZoo.Responded

Methods

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

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

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

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

Methods

arbitrary :: Gen (Responded a) #

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

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

Methods

def :: Responded a #

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

Defined in NewtypeZoo.Responded

Methods

rnf :: Responded a -> () #

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

Defined in NewtypeZoo.Responded

Methods

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

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

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

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

Generic1 Responded Source # 
Instance details

Defined in NewtypeZoo.Responded

Associated Types

type Rep1 Responded :: k -> Type #

Methods

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

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

type Rep (Responded a) Source # 
Instance details

Defined in NewtypeZoo.Responded

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

Defined in NewtypeZoo.Responded

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

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