NewtypeZoo.Disabled

Indicate that something is Disabled.

Documentation

newtype Disabled a

Constructors

Disabled a

Instances

Monad Disabled

Defined in NewtypeZoo.Disabled

Methods

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

(>>) :: Disabled a -> Disabled b -> Disabled b

return :: a -> Disabled a

fail :: String -> Disabled a

Functor Disabled

Defined in NewtypeZoo.Disabled

Methods

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

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

MonadFix Disabled

Defined in NewtypeZoo.Disabled

Methods

mfix :: (a -> Disabled a) -> Disabled a

Applicative Disabled

Defined in NewtypeZoo.Disabled

Methods

pure :: a -> Disabled a

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

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

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

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

Foldable Disabled

Defined in NewtypeZoo.Disabled

Methods

fold :: Monoid m => Disabled m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Disabled a -> a

foldl1 :: (a -> a -> a) -> Disabled a -> a

toList :: Disabled a -> [a]

null :: Disabled a -> Bool

length :: Disabled a -> Int

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

maximum :: Ord a => Disabled a -> a

minimum :: Ord a => Disabled a -> a

sum :: Num a => Disabled a -> a

product :: Num a => Disabled a -> a

Traversable Disabled

Defined in NewtypeZoo.Disabled

Methods

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

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

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

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

Eq1 Disabled

Defined in NewtypeZoo.Disabled

Methods

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

Ord1 Disabled

Defined in NewtypeZoo.Disabled

Methods

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

Read1 Disabled

Defined in NewtypeZoo.Disabled

Methods

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

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

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

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

Show1 Disabled

Defined in NewtypeZoo.Disabled

Methods

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

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

MonadZip Disabled

Defined in NewtypeZoo.Disabled

Methods

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

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

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

Pointed Disabled

Defined in NewtypeZoo.Disabled

Methods

point :: a -> Disabled a

Copointed Disabled

Defined in NewtypeZoo.Disabled

Methods

copoint :: Disabled a -> a

Bounded a => Bounded (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

minBound :: Disabled a

maxBound :: Disabled a

Enum a => Enum (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

succ :: Disabled a -> Disabled a

pred :: Disabled a -> Disabled a

toEnum :: Int -> Disabled a

fromEnum :: Disabled a -> Int

enumFrom :: Disabled a -> [Disabled a]

enumFromThen :: Disabled a -> Disabled a -> [Disabled a]

enumFromTo :: Disabled a -> Disabled a -> [Disabled a]

enumFromThenTo :: Disabled a -> Disabled a -> Disabled a -> [Disabled a]

Eq a => Eq (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

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

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

Floating a => Floating (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

pi :: Disabled a

exp :: Disabled a -> Disabled a

log :: Disabled a -> Disabled a

sqrt :: Disabled a -> Disabled a

(**) :: Disabled a -> Disabled a -> Disabled a

logBase :: Disabled a -> Disabled a -> Disabled a

sin :: Disabled a -> Disabled a

cos :: Disabled a -> Disabled a

tan :: Disabled a -> Disabled a

asin :: Disabled a -> Disabled a

acos :: Disabled a -> Disabled a

atan :: Disabled a -> Disabled a

sinh :: Disabled a -> Disabled a

cosh :: Disabled a -> Disabled a

tanh :: Disabled a -> Disabled a

asinh :: Disabled a -> Disabled a

acosh :: Disabled a -> Disabled a

atanh :: Disabled a -> Disabled a

log1p :: Disabled a -> Disabled a

expm1 :: Disabled a -> Disabled a

log1pexp :: Disabled a -> Disabled a

log1mexp :: Disabled a -> Disabled a

Fractional a => Fractional (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

(/) :: Disabled a -> Disabled a -> Disabled a

recip :: Disabled a -> Disabled a

fromRational :: Rational -> Disabled a

Integral a => Integral (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

quot :: Disabled a -> Disabled a -> Disabled a

rem :: Disabled a -> Disabled a -> Disabled a

div :: Disabled a -> Disabled a -> Disabled a

mod :: Disabled a -> Disabled a -> Disabled a

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

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

toInteger :: Disabled a -> Integer

Num a => Num (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

(+) :: Disabled a -> Disabled a -> Disabled a

(-) :: Disabled a -> Disabled a -> Disabled a

(*) :: Disabled a -> Disabled a -> Disabled a

negate :: Disabled a -> Disabled a

abs :: Disabled a -> Disabled a

signum :: Disabled a -> Disabled a

fromInteger :: Integer -> Disabled a

Ord a => Ord (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

compare :: Disabled a -> Disabled a -> Ordering

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

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

(>) :: Disabled a -> Disabled a -> Bool

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

max :: Disabled a -> Disabled a -> Disabled a

min :: Disabled a -> Disabled a -> Disabled a

Read a => Read (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

readsPrec :: Int -> ReadS (Disabled a)

readList :: ReadS [Disabled a]

readPrec :: ReadPrec (Disabled a)

readListPrec :: ReadPrec [Disabled a]

Real a => Real (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

toRational :: Disabled a -> Rational

RealFloat a => RealFloat (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

floatRadix :: Disabled a -> Integer

floatDigits :: Disabled a -> Int

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

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

encodeFloat :: Integer -> Int -> Disabled a

exponent :: Disabled a -> Int

significand :: Disabled a -> Disabled a

scaleFloat :: Int -> Disabled a -> Disabled a

isNaN :: Disabled a -> Bool

isInfinite :: Disabled a -> Bool

isDenormalized :: Disabled a -> Bool

isNegativeZero :: Disabled a -> Bool

isIEEE :: Disabled a -> Bool

atan2 :: Disabled a -> Disabled a -> Disabled a

RealFrac a => RealFrac (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

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

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

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

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

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

Show a => Show (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

showsPrec :: Int -> Disabled a -> ShowS

show :: Disabled a -> String

showList :: [Disabled a] -> ShowS

Ix a => Ix (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

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

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

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

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

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

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

IsString a => IsString (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

fromString :: String -> Disabled a

Generic (Disabled a)

Defined in NewtypeZoo.Disabled

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

(<>) :: Disabled a -> Disabled a -> Disabled a

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

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

Monoid a => Monoid (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

mempty :: Disabled a

mappend :: Disabled a -> Disabled a -> Disabled a

mconcat :: [Disabled a] -> Disabled a

Arbitrary a => Arbitrary (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

arbitrary :: Gen (Disabled a)

shrink :: Disabled a -> [Disabled a]

Bits a => Bits (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

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

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

xor :: Disabled a -> Disabled a -> Disabled a

complement :: Disabled a -> Disabled a

shift :: Disabled a -> Int -> Disabled a

rotate :: Disabled a -> Int -> Disabled a

zeroBits :: Disabled a

bit :: Int -> Disabled a

setBit :: Disabled a -> Int -> Disabled a

clearBit :: Disabled a -> Int -> Disabled a

complementBit :: Disabled a -> Int -> Disabled a

testBit :: Disabled a -> Int -> Bool

bitSizeMaybe :: Disabled a -> Maybe Int

bitSize :: Disabled a -> Int

isSigned :: Disabled a -> Bool

shiftL :: Disabled a -> Int -> Disabled a

unsafeShiftL :: Disabled a -> Int -> Disabled a

shiftR :: Disabled a -> Int -> Disabled a

unsafeShiftR :: Disabled a -> Int -> Disabled a

rotateL :: Disabled a -> Int -> Disabled a

rotateR :: Disabled a -> Int -> Disabled a

popCount :: Disabled a -> Int

FiniteBits a => FiniteBits (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

finiteBitSize :: Disabled a -> Int

countLeadingZeros :: Disabled a -> Int

countTrailingZeros :: Disabled a -> Int

Default a => Default (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

def :: Disabled a

NFData a => NFData (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

rnf :: Disabled a -> ()

Random a => Random (Disabled a)

Defined in NewtypeZoo.Disabled

Methods

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

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

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

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

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

randomIO :: IO (Disabled a)

Generic1 Disabled

Defined in NewtypeZoo.Disabled

Associated Types

type Rep1 Disabled :: k -> Type

Methods

from1 :: Disabled a -> Rep1 Disabled a

to1 :: Rep1 Disabled a -> Disabled a

type Rep (Disabled a)

Defined in NewtypeZoo.Disabled

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

type Rep1 Disabled

Defined in NewtypeZoo.Disabled

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

_theDisabled :: Disabled x -> x

theDisabled :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Disabled a) (f (Disabled b))