NewtypeZoo.Active

Indicate that something is Active.

Documentation

newtype Active a

A wrapper for something that is Active.

Constructors

Active a

Instances

Monad Active

Defined in NewtypeZoo.Active

Methods

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

(>>) :: Active a -> Active b -> Active b

return :: a -> Active a

Functor Active

Defined in NewtypeZoo.Active

Methods

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

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

MonadFix Active

Defined in NewtypeZoo.Active

Methods

mfix :: (a -> Active a) -> Active a

Applicative Active

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

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

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

Defined in NewtypeZoo.Active

Methods

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

Ord1 Active

Defined in NewtypeZoo.Active

Methods

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

Read1 Active

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

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

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

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

Defined in NewtypeZoo.Active

Methods

point :: a -> Active a

Copointed Active

Defined in NewtypeZoo.Active

Methods

copoint :: Active a -> a

Bounded a => Bounded (Active a)

Defined in NewtypeZoo.Active

Methods

minBound :: Active a

maxBound :: Active a

Enum a => Enum (Active a)

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)

Defined in NewtypeZoo.Active

Methods

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

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

Floating a => Floating (Active a)

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)

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)

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)

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)

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)

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)

Defined in NewtypeZoo.Active

Methods

toRational :: Active a -> Rational

RealFloat a => RealFloat (Active a)

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)

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)

Defined in NewtypeZoo.Active

Methods

showsPrec :: Int -> Active a -> ShowS

show :: Active a -> String

showList :: [Active a] -> ShowS

Ix a => Ix (Active a)

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)

Defined in NewtypeZoo.Active

Methods

fromString :: String -> Active a

Generic (Active a)

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)

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)

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)

Defined in NewtypeZoo.Active

Methods

arbitrary :: Gen (Active a)

shrink :: Active a -> [Active a]

Bits a => Bits (Active a)

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)

Defined in NewtypeZoo.Active

Methods

finiteBitSize :: Active a -> Int

countLeadingZeros :: Active a -> Int

countTrailingZeros :: Active a -> Int

Default a => Default (Active a)

Defined in NewtypeZoo.Active

Methods

def :: Active a

NFData a => NFData (Active a)

Defined in NewtypeZoo.Active

Methods

rnf :: Active a -> ()

Random a => Random (Active a)

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

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)

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

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

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))

A lens for something Active.