NewtypeZoo.Failed

Indicate that something is Failed.

Documentation

newtype Failed a

Constructors

Failed a

Instances

Monad Failed

Defined in NewtypeZoo.Failed

Methods

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

(>>) :: Failed a -> Failed b -> Failed b

return :: a -> Failed a

Functor Failed

Defined in NewtypeZoo.Failed

Methods

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

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

MonadFix Failed

Defined in NewtypeZoo.Failed

Methods

mfix :: (a -> Failed a) -> Failed a

Applicative Failed

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

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

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

Defined in NewtypeZoo.Failed

Methods

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

Ord1 Failed

Defined in NewtypeZoo.Failed

Methods

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

Read1 Failed

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

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

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

Defined in NewtypeZoo.Failed

Methods

point :: a -> Failed a

Copointed Failed

Defined in NewtypeZoo.Failed

Methods

copoint :: Failed a -> a

Bounded a => Bounded (Failed a)

Defined in NewtypeZoo.Failed

Methods

minBound :: Failed a

maxBound :: Failed a

Enum a => Enum (Failed a)

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)

Defined in NewtypeZoo.Failed

Methods

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

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

Floating a => Floating (Failed a)

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)

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)

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)

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)

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)

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)

Defined in NewtypeZoo.Failed

Methods

toRational :: Failed a -> Rational

RealFloat a => RealFloat (Failed a)

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)

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)

Defined in NewtypeZoo.Failed

Methods

showsPrec :: Int -> Failed a -> ShowS

show :: Failed a -> String

showList :: [Failed a] -> ShowS

Ix a => Ix (Failed a)

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)

Defined in NewtypeZoo.Failed

Methods

fromString :: String -> Failed a

Generic (Failed a)

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)

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)

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)

Defined in NewtypeZoo.Failed

Methods

arbitrary :: Gen (Failed a)

shrink :: Failed a -> [Failed a]

Bits a => Bits (Failed a)

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)

Defined in NewtypeZoo.Failed

Methods

finiteBitSize :: Failed a -> Int

countLeadingZeros :: Failed a -> Int

countTrailingZeros :: Failed a -> Int

Default a => Default (Failed a)

Defined in NewtypeZoo.Failed

Methods

def :: Failed a

NFData a => NFData (Failed a)

Defined in NewtypeZoo.Failed

Methods

rnf :: Failed a -> ()

Random a => Random (Failed a)

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

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)

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

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

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