NewtypeZoo.Enabled

Indicate that something is Enabled.

Documentation

newtype Enabled a

Constructors

Enabled a

Instances

Monad Enabled

Defined in NewtypeZoo.Enabled

Methods

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

(>>) :: Enabled a -> Enabled b -> Enabled b

return :: a -> Enabled a

Functor Enabled

Defined in NewtypeZoo.Enabled

Methods

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

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

MonadFix Enabled

Defined in NewtypeZoo.Enabled

Methods

mfix :: (a -> Enabled a) -> Enabled a

Applicative Enabled

Defined in NewtypeZoo.Enabled

Methods

pure :: a -> Enabled a

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

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

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

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

Foldable Enabled

Defined in NewtypeZoo.Enabled

Methods

fold :: Monoid m => Enabled m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Enabled a -> a

foldl1 :: (a -> a -> a) -> Enabled a -> a

toList :: Enabled a -> [a]

null :: Enabled a -> Bool

length :: Enabled a -> Int

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

maximum :: Ord a => Enabled a -> a

minimum :: Ord a => Enabled a -> a

sum :: Num a => Enabled a -> a

product :: Num a => Enabled a -> a

Traversable Enabled

Defined in NewtypeZoo.Enabled

Methods

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

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

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

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

Eq1 Enabled

Defined in NewtypeZoo.Enabled

Methods

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

Ord1 Enabled

Defined in NewtypeZoo.Enabled

Methods

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

Read1 Enabled

Defined in NewtypeZoo.Enabled

Methods

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

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

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

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

Show1 Enabled

Defined in NewtypeZoo.Enabled

Methods

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

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

MonadZip Enabled

Defined in NewtypeZoo.Enabled

Methods

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

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

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

Pointed Enabled

Defined in NewtypeZoo.Enabled

Methods

point :: a -> Enabled a

Copointed Enabled

Defined in NewtypeZoo.Enabled

Methods

copoint :: Enabled a -> a

Bounded a => Bounded (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

minBound :: Enabled a

maxBound :: Enabled a

Enum a => Enum (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

succ :: Enabled a -> Enabled a

pred :: Enabled a -> Enabled a

toEnum :: Int -> Enabled a

fromEnum :: Enabled a -> Int

enumFrom :: Enabled a -> [Enabled a]

enumFromThen :: Enabled a -> Enabled a -> [Enabled a]

enumFromTo :: Enabled a -> Enabled a -> [Enabled a]

enumFromThenTo :: Enabled a -> Enabled a -> Enabled a -> [Enabled a]

Eq a => Eq (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

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

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

Floating a => Floating (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

pi :: Enabled a

exp :: Enabled a -> Enabled a

log :: Enabled a -> Enabled a

sqrt :: Enabled a -> Enabled a

(**) :: Enabled a -> Enabled a -> Enabled a

logBase :: Enabled a -> Enabled a -> Enabled a

sin :: Enabled a -> Enabled a

cos :: Enabled a -> Enabled a

tan :: Enabled a -> Enabled a

asin :: Enabled a -> Enabled a

acos :: Enabled a -> Enabled a

atan :: Enabled a -> Enabled a

sinh :: Enabled a -> Enabled a

cosh :: Enabled a -> Enabled a

tanh :: Enabled a -> Enabled a

asinh :: Enabled a -> Enabled a

acosh :: Enabled a -> Enabled a

atanh :: Enabled a -> Enabled a

log1p :: Enabled a -> Enabled a

expm1 :: Enabled a -> Enabled a

log1pexp :: Enabled a -> Enabled a

log1mexp :: Enabled a -> Enabled a

Fractional a => Fractional (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

(/) :: Enabled a -> Enabled a -> Enabled a

recip :: Enabled a -> Enabled a

fromRational :: Rational -> Enabled a

Integral a => Integral (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

quot :: Enabled a -> Enabled a -> Enabled a

rem :: Enabled a -> Enabled a -> Enabled a

div :: Enabled a -> Enabled a -> Enabled a

mod :: Enabled a -> Enabled a -> Enabled a

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

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

toInteger :: Enabled a -> Integer

Num a => Num (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

(+) :: Enabled a -> Enabled a -> Enabled a

(-) :: Enabled a -> Enabled a -> Enabled a

(*) :: Enabled a -> Enabled a -> Enabled a

negate :: Enabled a -> Enabled a

abs :: Enabled a -> Enabled a

signum :: Enabled a -> Enabled a

fromInteger :: Integer -> Enabled a

Ord a => Ord (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

compare :: Enabled a -> Enabled a -> Ordering

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

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

(>) :: Enabled a -> Enabled a -> Bool

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

max :: Enabled a -> Enabled a -> Enabled a

min :: Enabled a -> Enabled a -> Enabled a

Read a => Read (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

readsPrec :: Int -> ReadS (Enabled a)

readList :: ReadS [Enabled a]

readPrec :: ReadPrec (Enabled a)

readListPrec :: ReadPrec [Enabled a]

Real a => Real (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

toRational :: Enabled a -> Rational

RealFloat a => RealFloat (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

floatRadix :: Enabled a -> Integer

floatDigits :: Enabled a -> Int

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

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

encodeFloat :: Integer -> Int -> Enabled a

exponent :: Enabled a -> Int

significand :: Enabled a -> Enabled a

scaleFloat :: Int -> Enabled a -> Enabled a

isNaN :: Enabled a -> Bool

isInfinite :: Enabled a -> Bool

isDenormalized :: Enabled a -> Bool

isNegativeZero :: Enabled a -> Bool

isIEEE :: Enabled a -> Bool

atan2 :: Enabled a -> Enabled a -> Enabled a

RealFrac a => RealFrac (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

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

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

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

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

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

Show a => Show (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

showsPrec :: Int -> Enabled a -> ShowS

show :: Enabled a -> String

showList :: [Enabled a] -> ShowS

Ix a => Ix (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

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

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

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

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

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

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

IsString a => IsString (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

fromString :: String -> Enabled a

Generic (Enabled a)

Defined in NewtypeZoo.Enabled

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

(<>) :: Enabled a -> Enabled a -> Enabled a

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

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

Monoid a => Monoid (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

mempty :: Enabled a

mappend :: Enabled a -> Enabled a -> Enabled a

mconcat :: [Enabled a] -> Enabled a

Arbitrary a => Arbitrary (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

arbitrary :: Gen (Enabled a)

shrink :: Enabled a -> [Enabled a]

Bits a => Bits (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

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

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

xor :: Enabled a -> Enabled a -> Enabled a

complement :: Enabled a -> Enabled a

shift :: Enabled a -> Int -> Enabled a

rotate :: Enabled a -> Int -> Enabled a

zeroBits :: Enabled a

bit :: Int -> Enabled a

setBit :: Enabled a -> Int -> Enabled a

clearBit :: Enabled a -> Int -> Enabled a

complementBit :: Enabled a -> Int -> Enabled a

testBit :: Enabled a -> Int -> Bool

bitSizeMaybe :: Enabled a -> Maybe Int

bitSize :: Enabled a -> Int

isSigned :: Enabled a -> Bool

shiftL :: Enabled a -> Int -> Enabled a

unsafeShiftL :: Enabled a -> Int -> Enabled a

shiftR :: Enabled a -> Int -> Enabled a

unsafeShiftR :: Enabled a -> Int -> Enabled a

rotateL :: Enabled a -> Int -> Enabled a

rotateR :: Enabled a -> Int -> Enabled a

popCount :: Enabled a -> Int

FiniteBits a => FiniteBits (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

finiteBitSize :: Enabled a -> Int

countLeadingZeros :: Enabled a -> Int

countTrailingZeros :: Enabled a -> Int

Default a => Default (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

def :: Enabled a

NFData a => NFData (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

rnf :: Enabled a -> ()

Random a => Random (Enabled a)

Defined in NewtypeZoo.Enabled

Methods

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

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

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

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

Generic1 Enabled

Defined in NewtypeZoo.Enabled

Associated Types

type Rep1 Enabled :: k -> Type

Methods

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

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

type Rep (Enabled a)

Defined in NewtypeZoo.Enabled

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

type Rep1 Enabled

Defined in NewtypeZoo.Enabled

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

_theEnabled :: Enabled x -> x

theEnabled :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Enabled a) (f (Enabled b))