Safe Haskell	None
Language	Haskell2010

NewtypeZoo.Enabled

Description

Indicate that something is Enabled.

Documentation

newtype Enabled a Source #

Constructors

Enabled a

Instances

Instances details

Monad Enabled Source #
Instance details Defined in NewtypeZoo.Enabled Methods (>>=) :: Enabled a -> (a -> Enabled b) -> Enabled b # (>>) :: Enabled a -> Enabled b -> Enabled b # return :: a -> Enabled a #
Functor Enabled Source #
Instance details Defined in NewtypeZoo.Enabled Methods fmap :: (a -> b) -> Enabled a -> Enabled b # (<$) :: a -> Enabled b -> Enabled a #
MonadFix Enabled Source #
Instance details Defined in NewtypeZoo.Enabled Methods mfix :: (a -> Enabled a) -> Enabled a #
Applicative Enabled Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in NewtypeZoo.Enabled Methods liftEq :: (a -> b -> Bool) -> Enabled a -> Enabled b -> Bool #
Ord1 Enabled Source #
Instance details Defined in NewtypeZoo.Enabled Methods liftCompare :: (a -> b -> Ordering) -> Enabled a -> Enabled b -> Ordering #
Read1 Enabled Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in NewtypeZoo.Enabled Methods point :: a -> Enabled a #
Copointed Enabled Source #
Instance details Defined in NewtypeZoo.Enabled Methods copoint :: Enabled a -> a #
Bounded a => Bounded (Enabled a) Source #
Instance details Defined in NewtypeZoo.Enabled Methods minBound :: Enabled a # maxBound :: Enabled a #
Enum a => Enum (Enabled a) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Enabled Methods (==) :: Enabled a -> Enabled a -> Bool # (/=) :: Enabled a -> Enabled a -> Bool #
Floating a => Floating (Enabled a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Enabled Methods toRational :: Enabled a -> Rational #
RealFloat a => RealFloat (Enabled a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Enabled Methods showsPrec :: Int -> Enabled a -> ShowS # show :: Enabled a -> String # showList :: [Enabled a] -> ShowS #
Ix a => Ix (Enabled a) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Enabled Methods fromString :: String -> Enabled a #
Generic (Enabled a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Enabled Methods arbitrary :: Gen (Enabled a) # shrink :: Enabled a -> [Enabled a] #
Bits a => Bits (Enabled a) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Enabled Methods finiteBitSize :: Enabled a -> Int # countLeadingZeros :: Enabled a -> Int # countTrailingZeros :: Enabled a -> Int #
Default a => Default (Enabled a) Source #
Instance details Defined in NewtypeZoo.Enabled Methods def :: Enabled a #
NFData a => NFData (Enabled a) Source #
Instance details Defined in NewtypeZoo.Enabled Methods rnf :: Enabled a -> () #
Random a => Random (Enabled a) Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details 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 Source #

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