Safe Haskell	None
Language	Haskell2010

NewtypeZoo.Active

Description

Indicate that something is Active.

Synopsis

newtype Active a = Active a
_theActive :: Active x -> x
theActive :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Active a) (f (Active b))

Documentation

newtype Active a Source #

A wrapper for something that is Active.

Constructors

Active a

Instances

Instances details

Monad Active Source #
Instance details Defined in NewtypeZoo.Active Methods (>>=) :: Active a -> (a -> Active b) -> Active b # (>>) :: Active a -> Active b -> Active b # return :: a -> Active a #
Functor Active Source #
Instance details Defined in NewtypeZoo.Active Methods fmap :: (a -> b) -> Active a -> Active b # (<$) :: a -> Active b -> Active a #
MonadFix Active Source #
Instance details Defined in NewtypeZoo.Active Methods mfix :: (a -> Active a) -> Active a #
Applicative Active Source #
Instance details Defined in NewtypeZoo.Active Methods pure :: a -> Active a # (<>) :: Active (a -> b) -> Active a -> Active b # liftA2 :: (a -> b -> c) -> Active a -> Active b -> Active c # (>) :: Active a -> Active b -> Active b # (<*) :: Active a -> Active b -> Active a #
Foldable Active Source #
Instance details Defined in NewtypeZoo.Active Methods fold :: Monoid m => Active m -> m # foldMap :: Monoid m => (a -> m) -> Active a -> m # foldMap' :: Monoid m => (a -> m) -> Active a -> m # foldr :: (a -> b -> b) -> b -> Active a -> b # foldr' :: (a -> b -> b) -> b -> Active a -> b # foldl :: (b -> a -> b) -> b -> Active a -> b # foldl' :: (b -> a -> b) -> b -> Active a -> b # foldr1 :: (a -> a -> a) -> Active a -> a # foldl1 :: (a -> a -> a) -> Active a -> a # toList :: Active a -> [a] # null :: Active a -> Bool # length :: Active a -> Int # elem :: Eq a => a -> Active a -> Bool # maximum :: Ord a => Active a -> a # minimum :: Ord a => Active a -> a # sum :: Num a => Active a -> a # product :: Num a => Active a -> a #
Traversable Active Source #
Instance details Defined in NewtypeZoo.Active Methods traverse :: Applicative f => (a -> f b) -> Active a -> f (Active b) # sequenceA :: Applicative f => Active (f a) -> f (Active a) # mapM :: Monad m => (a -> m b) -> Active a -> m (Active b) # sequence :: Monad m => Active (m a) -> m (Active a) #
Eq1 Active Source #
Instance details Defined in NewtypeZoo.Active Methods liftEq :: (a -> b -> Bool) -> Active a -> Active b -> Bool #
Ord1 Active Source #
Instance details Defined in NewtypeZoo.Active Methods liftCompare :: (a -> b -> Ordering) -> Active a -> Active b -> Ordering #
Read1 Active Source #
Instance details Defined in NewtypeZoo.Active Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Active a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Active a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Active a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Active a] #
Show1 Active Source #
Instance details Defined in NewtypeZoo.Active Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Active a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Active a] -> ShowS #
MonadZip Active Source #
Instance details Defined in NewtypeZoo.Active Methods mzip :: Active a -> Active b -> Active (a, b) # mzipWith :: (a -> b -> c) -> Active a -> Active b -> Active c # munzip :: Active (a, b) -> (Active a, Active b) #
Comonad Active Source #
Instance details Defined in NewtypeZoo.Active Methods extract :: Active a -> a # duplicate :: Active a -> Active (Active a) # extend :: (Active a -> b) -> Active a -> Active b #
Pointed Active Source #
Instance details Defined in NewtypeZoo.Active Methods point :: a -> Active a #
Copointed Active Source #
Instance details Defined in NewtypeZoo.Active Methods copoint :: Active a -> a #
Bounded a => Bounded (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods minBound :: Active a # maxBound :: Active a #
Enum a => Enum (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods succ :: Active a -> Active a # pred :: Active a -> Active a # toEnum :: Int -> Active a # fromEnum :: Active a -> Int # enumFrom :: Active a -> [Active a] # enumFromThen :: Active a -> Active a -> [Active a] # enumFromTo :: Active a -> Active a -> [Active a] # enumFromThenTo :: Active a -> Active a -> Active a -> [Active a] #
Eq a => Eq (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods (==) :: Active a -> Active a -> Bool # (/=) :: Active a -> Active a -> Bool #
Floating a => Floating (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods pi :: Active a # exp :: Active a -> Active a # log :: Active a -> Active a # sqrt :: Active a -> Active a # (**) :: Active a -> Active a -> Active a # logBase :: Active a -> Active a -> Active a # sin :: Active a -> Active a # cos :: Active a -> Active a # tan :: Active a -> Active a # asin :: Active a -> Active a # acos :: Active a -> Active a # atan :: Active a -> Active a # sinh :: Active a -> Active a # cosh :: Active a -> Active a # tanh :: Active a -> Active a # asinh :: Active a -> Active a # acosh :: Active a -> Active a # atanh :: Active a -> Active a # log1p :: Active a -> Active a # expm1 :: Active a -> Active a # log1pexp :: Active a -> Active a # log1mexp :: Active a -> Active a #
Fractional a => Fractional (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods (/) :: Active a -> Active a -> Active a # recip :: Active a -> Active a # fromRational :: Rational -> Active a #
Integral a => Integral (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods quot :: Active a -> Active a -> Active a # rem :: Active a -> Active a -> Active a # div :: Active a -> Active a -> Active a # mod :: Active a -> Active a -> Active a # quotRem :: Active a -> Active a -> (Active a, Active a) # divMod :: Active a -> Active a -> (Active a, Active a) # toInteger :: Active a -> Integer #
Num a => Num (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods (+) :: Active a -> Active a -> Active a # (-) :: Active a -> Active a -> Active a # (*) :: Active a -> Active a -> Active a # negate :: Active a -> Active a # abs :: Active a -> Active a # signum :: Active a -> Active a # fromInteger :: Integer -> Active a #
Ord a => Ord (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods compare :: Active a -> Active a -> Ordering # (<) :: Active a -> Active a -> Bool # (<=) :: Active a -> Active a -> Bool # (>) :: Active a -> Active a -> Bool # (>=) :: Active a -> Active a -> Bool # max :: Active a -> Active a -> Active a # min :: Active a -> Active a -> Active a #
Read a => Read (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods readsPrec :: Int -> ReadS (Active a) # readList :: ReadS [Active a] # readPrec :: ReadPrec (Active a) # readListPrec :: ReadPrec [Active a] #
Real a => Real (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods toRational :: Active a -> Rational #
RealFloat a => RealFloat (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods floatRadix :: Active a -> Integer # floatDigits :: Active a -> Int # floatRange :: Active a -> (Int, Int) # decodeFloat :: Active a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Active a # exponent :: Active a -> Int # significand :: Active a -> Active a # scaleFloat :: Int -> Active a -> Active a # isNaN :: Active a -> Bool # isInfinite :: Active a -> Bool # isDenormalized :: Active a -> Bool # isNegativeZero :: Active a -> Bool # isIEEE :: Active a -> Bool # atan2 :: Active a -> Active a -> Active a #
RealFrac a => RealFrac (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods properFraction :: Integral b => Active a -> (b, Active a) # truncate :: Integral b => Active a -> b # round :: Integral b => Active a -> b # ceiling :: Integral b => Active a -> b # floor :: Integral b => Active a -> b #
Show a => Show (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods showsPrec :: Int -> Active a -> ShowS # show :: Active a -> String # showList :: [Active a] -> ShowS #
Ix a => Ix (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods range :: (Active a, Active a) -> [Active a] # index :: (Active a, Active a) -> Active a -> Int # unsafeIndex :: (Active a, Active a) -> Active a -> Int # inRange :: (Active a, Active a) -> Active a -> Bool # rangeSize :: (Active a, Active a) -> Int # unsafeRangeSize :: (Active a, Active a) -> Int #
IsString a => IsString (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods fromString :: String -> Active a #
Generic (Active a) Source #
Instance details Defined in NewtypeZoo.Active Associated Types type Rep (Active a) :: Type -> Type # Methods from :: Active a -> Rep (Active a) x # to :: Rep (Active a) x -> Active a #
Semigroup a => Semigroup (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods (<>) :: Active a -> Active a -> Active a # sconcat :: NonEmpty (Active a) -> Active a # stimes :: Integral b => b -> Active a -> Active a #
Monoid a => Monoid (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods mempty :: Active a # mappend :: Active a -> Active a -> Active a # mconcat :: [Active a] -> Active a #
Arbitrary a => Arbitrary (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods arbitrary :: Gen (Active a) # shrink :: Active a -> [Active a] #
Bits a => Bits (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods (.&.) :: Active a -> Active a -> Active a # (.\|.) :: Active a -> Active a -> Active a # xor :: Active a -> Active a -> Active a # complement :: Active a -> Active a # shift :: Active a -> Int -> Active a # rotate :: Active a -> Int -> Active a # zeroBits :: Active a # bit :: Int -> Active a # setBit :: Active a -> Int -> Active a # clearBit :: Active a -> Int -> Active a # complementBit :: Active a -> Int -> Active a # testBit :: Active a -> Int -> Bool # bitSizeMaybe :: Active a -> Maybe Int # bitSize :: Active a -> Int # isSigned :: Active a -> Bool # shiftL :: Active a -> Int -> Active a # unsafeShiftL :: Active a -> Int -> Active a # shiftR :: Active a -> Int -> Active a # unsafeShiftR :: Active a -> Int -> Active a # rotateL :: Active a -> Int -> Active a # rotateR :: Active a -> Int -> Active a # popCount :: Active a -> Int #
FiniteBits a => FiniteBits (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods finiteBitSize :: Active a -> Int # countLeadingZeros :: Active a -> Int # countTrailingZeros :: Active a -> Int #
Default a => Default (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods def :: Active a #
NFData a => NFData (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods rnf :: Active a -> () #
Random a => Random (Active a) Source #
Instance details Defined in NewtypeZoo.Active Methods randomR :: RandomGen g => (Active a, Active a) -> g -> (Active a, g) # random :: RandomGen g => g -> (Active a, g) # randomRs :: RandomGen g => (Active a, Active a) -> g -> [Active a] # randoms :: RandomGen g => g -> [Active a] #
Generic1 Active Source #
Instance details Defined in NewtypeZoo.Active Associated Types type Rep1 Active :: k -> Type # Methods from1 :: forall (a :: k). Active a -> Rep1 Active a # to1 :: forall (a :: k). Rep1 Active a -> Active a #
type Rep (Active a) Source #
Instance details Defined in NewtypeZoo.Active type Rep (Active a) = D1 ('MetaData "Active" "NewtypeZoo.Active" "newtype-zoo-1.2.1.0-Km8yne3Tled57gA1FTjiYK" 'True) (C1 ('MetaCons "Active" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
type Rep1 Active Source #
Instance details Defined in NewtypeZoo.Active type Rep1 Active = D1 ('MetaData "Active" "NewtypeZoo.Active" "newtype-zoo-1.2.1.0-Km8yne3Tled57gA1FTjiYK" 'True) (C1 ('MetaCons "Active" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

_theActive :: Active x -> x Source #

An accessor function for something Active.

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

A lens for something Active.