NewtypeZoo.Broken

Indicate that something is Broken.

Documentation

newtype Broken a

Constructors

Broken a

Instances

Monad Broken

Defined in NewtypeZoo.Broken

Methods

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

(>>) :: Broken a -> Broken b -> Broken b

return :: a -> Broken a

fail :: String -> Broken a

Functor Broken

Defined in NewtypeZoo.Broken

Methods

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

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

MonadFix Broken

Defined in NewtypeZoo.Broken

Methods

mfix :: (a -> Broken a) -> Broken a

Applicative Broken

Defined in NewtypeZoo.Broken

Methods

pure :: a -> Broken a

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

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

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

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

Foldable Broken

Defined in NewtypeZoo.Broken

Methods

fold :: Monoid m => Broken m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Broken a -> a

foldl1 :: (a -> a -> a) -> Broken a -> a

toList :: Broken a -> [a]

null :: Broken a -> Bool

length :: Broken a -> Int

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

maximum :: Ord a => Broken a -> a

minimum :: Ord a => Broken a -> a

sum :: Num a => Broken a -> a

product :: Num a => Broken a -> a

Traversable Broken

Defined in NewtypeZoo.Broken

Methods

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

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

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

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

Eq1 Broken

Defined in NewtypeZoo.Broken

Methods

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

Ord1 Broken

Defined in NewtypeZoo.Broken

Methods

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

Read1 Broken

Defined in NewtypeZoo.Broken

Methods

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

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

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

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

Show1 Broken

Defined in NewtypeZoo.Broken

Methods

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

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

MonadZip Broken

Defined in NewtypeZoo.Broken

Methods

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

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

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

Pointed Broken

Defined in NewtypeZoo.Broken

Methods

point :: a -> Broken a

Copointed Broken

Defined in NewtypeZoo.Broken

Methods

copoint :: Broken a -> a

Bounded a => Bounded (Broken a)

Defined in NewtypeZoo.Broken

Methods

minBound :: Broken a

maxBound :: Broken a

Enum a => Enum (Broken a)

Defined in NewtypeZoo.Broken

Methods

succ :: Broken a -> Broken a

pred :: Broken a -> Broken a

toEnum :: Int -> Broken a

fromEnum :: Broken a -> Int

enumFrom :: Broken a -> [Broken a]

enumFromThen :: Broken a -> Broken a -> [Broken a]

enumFromTo :: Broken a -> Broken a -> [Broken a]

enumFromThenTo :: Broken a -> Broken a -> Broken a -> [Broken a]

Eq a => Eq (Broken a)

Defined in NewtypeZoo.Broken

Methods

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

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

Floating a => Floating (Broken a)

Defined in NewtypeZoo.Broken

Methods

pi :: Broken a

exp :: Broken a -> Broken a

log :: Broken a -> Broken a

sqrt :: Broken a -> Broken a

(**) :: Broken a -> Broken a -> Broken a

logBase :: Broken a -> Broken a -> Broken a

sin :: Broken a -> Broken a

cos :: Broken a -> Broken a

tan :: Broken a -> Broken a

asin :: Broken a -> Broken a

acos :: Broken a -> Broken a

atan :: Broken a -> Broken a

sinh :: Broken a -> Broken a

cosh :: Broken a -> Broken a

tanh :: Broken a -> Broken a

asinh :: Broken a -> Broken a

acosh :: Broken a -> Broken a

atanh :: Broken a -> Broken a

log1p :: Broken a -> Broken a

expm1 :: Broken a -> Broken a

log1pexp :: Broken a -> Broken a

log1mexp :: Broken a -> Broken a

Fractional a => Fractional (Broken a)

Defined in NewtypeZoo.Broken

Methods

(/) :: Broken a -> Broken a -> Broken a

recip :: Broken a -> Broken a

fromRational :: Rational -> Broken a

Integral a => Integral (Broken a)

Defined in NewtypeZoo.Broken

Methods

quot :: Broken a -> Broken a -> Broken a

rem :: Broken a -> Broken a -> Broken a

div :: Broken a -> Broken a -> Broken a

mod :: Broken a -> Broken a -> Broken a

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

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

toInteger :: Broken a -> Integer

Num a => Num (Broken a)

Defined in NewtypeZoo.Broken

Methods

(+) :: Broken a -> Broken a -> Broken a

(-) :: Broken a -> Broken a -> Broken a

(*) :: Broken a -> Broken a -> Broken a

negate :: Broken a -> Broken a

abs :: Broken a -> Broken a

signum :: Broken a -> Broken a

fromInteger :: Integer -> Broken a

Ord a => Ord (Broken a)

Defined in NewtypeZoo.Broken

Methods

compare :: Broken a -> Broken a -> Ordering

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

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

(>) :: Broken a -> Broken a -> Bool

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

max :: Broken a -> Broken a -> Broken a

min :: Broken a -> Broken a -> Broken a

Read a => Read (Broken a)

Defined in NewtypeZoo.Broken

Methods

readsPrec :: Int -> ReadS (Broken a)

readList :: ReadS [Broken a]

readPrec :: ReadPrec (Broken a)

readListPrec :: ReadPrec [Broken a]

Real a => Real (Broken a)

Defined in NewtypeZoo.Broken

Methods

toRational :: Broken a -> Rational

RealFloat a => RealFloat (Broken a)

Defined in NewtypeZoo.Broken

Methods

floatRadix :: Broken a -> Integer

floatDigits :: Broken a -> Int

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

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

encodeFloat :: Integer -> Int -> Broken a

exponent :: Broken a -> Int

significand :: Broken a -> Broken a

scaleFloat :: Int -> Broken a -> Broken a

isNaN :: Broken a -> Bool

isInfinite :: Broken a -> Bool

isDenormalized :: Broken a -> Bool

isNegativeZero :: Broken a -> Bool

isIEEE :: Broken a -> Bool

atan2 :: Broken a -> Broken a -> Broken a

RealFrac a => RealFrac (Broken a)

Defined in NewtypeZoo.Broken

Methods

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

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

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

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

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

Show a => Show (Broken a)

Defined in NewtypeZoo.Broken

Methods

showsPrec :: Int -> Broken a -> ShowS

show :: Broken a -> String

showList :: [Broken a] -> ShowS

Ix a => Ix (Broken a)

Defined in NewtypeZoo.Broken

Methods

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

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

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

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

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

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

IsString a => IsString (Broken a)

Defined in NewtypeZoo.Broken

Methods

fromString :: String -> Broken a

Generic (Broken a)

Defined in NewtypeZoo.Broken

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Broken a)

Defined in NewtypeZoo.Broken

Methods

(<>) :: Broken a -> Broken a -> Broken a

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

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

Monoid a => Monoid (Broken a)

Defined in NewtypeZoo.Broken

Methods

mempty :: Broken a

mappend :: Broken a -> Broken a -> Broken a

mconcat :: [Broken a] -> Broken a

Arbitrary a => Arbitrary (Broken a)

Defined in NewtypeZoo.Broken

Methods

arbitrary :: Gen (Broken a)

shrink :: Broken a -> [Broken a]

Bits a => Bits (Broken a)

Defined in NewtypeZoo.Broken

Methods

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

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

xor :: Broken a -> Broken a -> Broken a

complement :: Broken a -> Broken a

shift :: Broken a -> Int -> Broken a

rotate :: Broken a -> Int -> Broken a

zeroBits :: Broken a

bit :: Int -> Broken a

setBit :: Broken a -> Int -> Broken a

clearBit :: Broken a -> Int -> Broken a

complementBit :: Broken a -> Int -> Broken a

testBit :: Broken a -> Int -> Bool

bitSizeMaybe :: Broken a -> Maybe Int

bitSize :: Broken a -> Int

isSigned :: Broken a -> Bool

shiftL :: Broken a -> Int -> Broken a

unsafeShiftL :: Broken a -> Int -> Broken a

shiftR :: Broken a -> Int -> Broken a

unsafeShiftR :: Broken a -> Int -> Broken a

rotateL :: Broken a -> Int -> Broken a

rotateR :: Broken a -> Int -> Broken a

popCount :: Broken a -> Int

FiniteBits a => FiniteBits (Broken a)

Defined in NewtypeZoo.Broken

Methods

finiteBitSize :: Broken a -> Int

countLeadingZeros :: Broken a -> Int

countTrailingZeros :: Broken a -> Int

Default a => Default (Broken a)

Defined in NewtypeZoo.Broken

Methods

def :: Broken a

NFData a => NFData (Broken a)

Defined in NewtypeZoo.Broken

Methods

rnf :: Broken a -> ()

Random a => Random (Broken a)

Defined in NewtypeZoo.Broken

Methods

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

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

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

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

randomRIO :: (Broken a, Broken a) -> IO (Broken a)

randomIO :: IO (Broken a)

Generic1 Broken

Defined in NewtypeZoo.Broken

Associated Types

type Rep1 Broken :: k -> Type

Methods

from1 :: Broken a -> Rep1 Broken a

to1 :: Rep1 Broken a -> Broken a

type Rep (Broken a)

Defined in NewtypeZoo.Broken

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

type Rep1 Broken

Defined in NewtypeZoo.Broken

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

_theBroken :: Broken x -> x

theBroken :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Broken a) (f (Broken b))