Safe Haskell	None
Language	Haskell2010

NewtypeZoo.Failed

Description

Indicate that something is Failed.

Documentation

newtype Failed a Source #

Constructors

Failed a

Instances

Instances details

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

_theFailed :: Failed x -> x Source #

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