NewtypeZoo.Invalid

Indicate that something is Invalid.

Documentation

newtype Invalid a

Constructors

Invalid a

Instances

Monad Invalid

Defined in NewtypeZoo.Invalid

Methods

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

(>>) :: Invalid a -> Invalid b -> Invalid b

return :: a -> Invalid a

Functor Invalid

Defined in NewtypeZoo.Invalid

Methods

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

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

MonadFix Invalid

Defined in NewtypeZoo.Invalid

Methods

mfix :: (a -> Invalid a) -> Invalid a

Applicative Invalid

Defined in NewtypeZoo.Invalid

Methods

pure :: a -> Invalid a

(<*>) :: Invalid (a -> b) -> Invalid a -> Invalid b

liftA2 :: (a -> b -> c) -> Invalid a -> Invalid b -> Invalid c

(*>) :: Invalid a -> Invalid b -> Invalid b

(<*) :: Invalid a -> Invalid b -> Invalid a

Foldable Invalid

Defined in NewtypeZoo.Invalid

Methods

fold :: Monoid m => Invalid m -> m

foldMap :: Monoid m => (a -> m) -> Invalid a -> m

foldMap' :: Monoid m => (a -> m) -> Invalid a -> m

foldr :: (a -> b -> b) -> b -> Invalid a -> b

foldr' :: (a -> b -> b) -> b -> Invalid a -> b

foldl :: (b -> a -> b) -> b -> Invalid a -> b

foldl' :: (b -> a -> b) -> b -> Invalid a -> b

foldr1 :: (a -> a -> a) -> Invalid a -> a

foldl1 :: (a -> a -> a) -> Invalid a -> a

toList :: Invalid a -> [a]

null :: Invalid a -> Bool

length :: Invalid a -> Int

elem :: Eq a => a -> Invalid a -> Bool

maximum :: Ord a => Invalid a -> a

minimum :: Ord a => Invalid a -> a

sum :: Num a => Invalid a -> a

product :: Num a => Invalid a -> a

Traversable Invalid

Defined in NewtypeZoo.Invalid

Methods

traverse :: Applicative f => (a -> f b) -> Invalid a -> f (Invalid b)

sequenceA :: Applicative f => Invalid (f a) -> f (Invalid a)

mapM :: Monad m => (a -> m b) -> Invalid a -> m (Invalid b)

sequence :: Monad m => Invalid (m a) -> m (Invalid a)

Eq1 Invalid

Defined in NewtypeZoo.Invalid

Methods

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

Ord1 Invalid

Defined in NewtypeZoo.Invalid

Methods

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

Read1 Invalid

Defined in NewtypeZoo.Invalid

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Invalid a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Invalid a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Invalid a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Invalid a]

Show1 Invalid

Defined in NewtypeZoo.Invalid

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Invalid a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Invalid a] -> ShowS

MonadZip Invalid

Defined in NewtypeZoo.Invalid

Methods

mzip :: Invalid a -> Invalid b -> Invalid (a, b)

mzipWith :: (a -> b -> c) -> Invalid a -> Invalid b -> Invalid c

munzip :: Invalid (a, b) -> (Invalid a, Invalid b)

Pointed Invalid

Defined in NewtypeZoo.Invalid

Methods

point :: a -> Invalid a

Copointed Invalid

Defined in NewtypeZoo.Invalid

Methods

copoint :: Invalid a -> a

Bounded a => Bounded (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

minBound :: Invalid a

maxBound :: Invalid a

Enum a => Enum (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

succ :: Invalid a -> Invalid a

pred :: Invalid a -> Invalid a

toEnum :: Int -> Invalid a

fromEnum :: Invalid a -> Int

enumFrom :: Invalid a -> [Invalid a]

enumFromThen :: Invalid a -> Invalid a -> [Invalid a]

enumFromTo :: Invalid a -> Invalid a -> [Invalid a]

enumFromThenTo :: Invalid a -> Invalid a -> Invalid a -> [Invalid a]

Eq a => Eq (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

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

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

Floating a => Floating (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

pi :: Invalid a

exp :: Invalid a -> Invalid a

log :: Invalid a -> Invalid a

sqrt :: Invalid a -> Invalid a

(**) :: Invalid a -> Invalid a -> Invalid a

logBase :: Invalid a -> Invalid a -> Invalid a

sin :: Invalid a -> Invalid a

cos :: Invalid a -> Invalid a

tan :: Invalid a -> Invalid a

asin :: Invalid a -> Invalid a

acos :: Invalid a -> Invalid a

atan :: Invalid a -> Invalid a

sinh :: Invalid a -> Invalid a

cosh :: Invalid a -> Invalid a

tanh :: Invalid a -> Invalid a

asinh :: Invalid a -> Invalid a

acosh :: Invalid a -> Invalid a

atanh :: Invalid a -> Invalid a

log1p :: Invalid a -> Invalid a

expm1 :: Invalid a -> Invalid a

log1pexp :: Invalid a -> Invalid a

log1mexp :: Invalid a -> Invalid a

Fractional a => Fractional (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

(/) :: Invalid a -> Invalid a -> Invalid a

recip :: Invalid a -> Invalid a

fromRational :: Rational -> Invalid a

Integral a => Integral (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

quot :: Invalid a -> Invalid a -> Invalid a

rem :: Invalid a -> Invalid a -> Invalid a

div :: Invalid a -> Invalid a -> Invalid a

mod :: Invalid a -> Invalid a -> Invalid a

quotRem :: Invalid a -> Invalid a -> (Invalid a, Invalid a)

divMod :: Invalid a -> Invalid a -> (Invalid a, Invalid a)

toInteger :: Invalid a -> Integer

Num a => Num (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

(+) :: Invalid a -> Invalid a -> Invalid a

(-) :: Invalid a -> Invalid a -> Invalid a

(*) :: Invalid a -> Invalid a -> Invalid a

negate :: Invalid a -> Invalid a

abs :: Invalid a -> Invalid a

signum :: Invalid a -> Invalid a

fromInteger :: Integer -> Invalid a

Ord a => Ord (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

compare :: Invalid a -> Invalid a -> Ordering

(<) :: Invalid a -> Invalid a -> Bool

(<=) :: Invalid a -> Invalid a -> Bool

(>) :: Invalid a -> Invalid a -> Bool

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

max :: Invalid a -> Invalid a -> Invalid a

min :: Invalid a -> Invalid a -> Invalid a

Read a => Read (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

readsPrec :: Int -> ReadS (Invalid a)

readList :: ReadS [Invalid a]

readPrec :: ReadPrec (Invalid a)

readListPrec :: ReadPrec [Invalid a]

Real a => Real (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

toRational :: Invalid a -> Rational

RealFloat a => RealFloat (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

floatRadix :: Invalid a -> Integer

floatDigits :: Invalid a -> Int

floatRange :: Invalid a -> (Int, Int)

decodeFloat :: Invalid a -> (Integer, Int)

encodeFloat :: Integer -> Int -> Invalid a

exponent :: Invalid a -> Int

significand :: Invalid a -> Invalid a

scaleFloat :: Int -> Invalid a -> Invalid a

isNaN :: Invalid a -> Bool

isInfinite :: Invalid a -> Bool

isDenormalized :: Invalid a -> Bool

isNegativeZero :: Invalid a -> Bool

isIEEE :: Invalid a -> Bool

atan2 :: Invalid a -> Invalid a -> Invalid a

RealFrac a => RealFrac (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

properFraction :: Integral b => Invalid a -> (b, Invalid a)

truncate :: Integral b => Invalid a -> b

round :: Integral b => Invalid a -> b

ceiling :: Integral b => Invalid a -> b

floor :: Integral b => Invalid a -> b

Show a => Show (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

showsPrec :: Int -> Invalid a -> ShowS

show :: Invalid a -> String

showList :: [Invalid a] -> ShowS

Ix a => Ix (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

range :: (Invalid a, Invalid a) -> [Invalid a]

index :: (Invalid a, Invalid a) -> Invalid a -> Int

unsafeIndex :: (Invalid a, Invalid a) -> Invalid a -> Int

inRange :: (Invalid a, Invalid a) -> Invalid a -> Bool

rangeSize :: (Invalid a, Invalid a) -> Int

unsafeRangeSize :: (Invalid a, Invalid a) -> Int

IsString a => IsString (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

fromString :: String -> Invalid a

Generic (Invalid a)

Defined in NewtypeZoo.Invalid

Associated Types

type Rep (Invalid a) :: Type -> Type

Methods

from :: Invalid a -> Rep (Invalid a) x

to :: Rep (Invalid a) x -> Invalid a

Semigroup a => Semigroup (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

(<>) :: Invalid a -> Invalid a -> Invalid a

sconcat :: NonEmpty (Invalid a) -> Invalid a

stimes :: Integral b => b -> Invalid a -> Invalid a

Monoid a => Monoid (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

mempty :: Invalid a

mappend :: Invalid a -> Invalid a -> Invalid a

mconcat :: [Invalid a] -> Invalid a

Arbitrary a => Arbitrary (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

arbitrary :: Gen (Invalid a)

shrink :: Invalid a -> [Invalid a]

Bits a => Bits (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

(.&.) :: Invalid a -> Invalid a -> Invalid a

(.|.) :: Invalid a -> Invalid a -> Invalid a

xor :: Invalid a -> Invalid a -> Invalid a

complement :: Invalid a -> Invalid a

shift :: Invalid a -> Int -> Invalid a

rotate :: Invalid a -> Int -> Invalid a

zeroBits :: Invalid a

bit :: Int -> Invalid a

setBit :: Invalid a -> Int -> Invalid a

clearBit :: Invalid a -> Int -> Invalid a

complementBit :: Invalid a -> Int -> Invalid a

testBit :: Invalid a -> Int -> Bool

bitSizeMaybe :: Invalid a -> Maybe Int

bitSize :: Invalid a -> Int

isSigned :: Invalid a -> Bool

shiftL :: Invalid a -> Int -> Invalid a

unsafeShiftL :: Invalid a -> Int -> Invalid a

shiftR :: Invalid a -> Int -> Invalid a

unsafeShiftR :: Invalid a -> Int -> Invalid a

rotateL :: Invalid a -> Int -> Invalid a

rotateR :: Invalid a -> Int -> Invalid a

popCount :: Invalid a -> Int

FiniteBits a => FiniteBits (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

finiteBitSize :: Invalid a -> Int

countLeadingZeros :: Invalid a -> Int

countTrailingZeros :: Invalid a -> Int

Default a => Default (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

def :: Invalid a

NFData a => NFData (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

rnf :: Invalid a -> ()

Random a => Random (Invalid a)

Defined in NewtypeZoo.Invalid

Methods

randomR :: RandomGen g => (Invalid a, Invalid a) -> g -> (Invalid a, g)

random :: RandomGen g => g -> (Invalid a, g)

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

randoms :: RandomGen g => g -> [Invalid a]

Generic1 Invalid

Defined in NewtypeZoo.Invalid

Associated Types

type Rep1 Invalid :: k -> Type

Methods

from1 :: forall (a :: k). Invalid a -> Rep1 Invalid a

to1 :: forall (a :: k). Rep1 Invalid a -> Invalid a

type Rep (Invalid a)

Defined in NewtypeZoo.Invalid

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

type Rep1 Invalid

Defined in NewtypeZoo.Invalid

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

_theInvalid :: Invalid x -> x

theInvalid :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Invalid a) (f (Invalid b))