NewtypeZoo.Current

Indicate that something is Current.

Documentation

newtype Current a

Constructors

Current a

Instances

Monad Current

Defined in NewtypeZoo.Current

Methods

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

(>>) :: Current a -> Current b -> Current b

return :: a -> Current a

fail :: String -> Current a

Functor Current

Defined in NewtypeZoo.Current

Methods

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

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

MonadFix Current

Defined in NewtypeZoo.Current

Methods

mfix :: (a -> Current a) -> Current a

Applicative Current

Defined in NewtypeZoo.Current

Methods

pure :: a -> Current a

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

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

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

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

Foldable Current

Defined in NewtypeZoo.Current

Methods

fold :: Monoid m => Current m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Current a -> a

foldl1 :: (a -> a -> a) -> Current a -> a

toList :: Current a -> [a]

null :: Current a -> Bool

length :: Current a -> Int

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

maximum :: Ord a => Current a -> a

minimum :: Ord a => Current a -> a

sum :: Num a => Current a -> a

product :: Num a => Current a -> a

Traversable Current

Defined in NewtypeZoo.Current

Methods

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

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

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

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

Eq1 Current

Defined in NewtypeZoo.Current

Methods

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

Ord1 Current

Defined in NewtypeZoo.Current

Methods

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

Read1 Current

Defined in NewtypeZoo.Current

Methods

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

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

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

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

Show1 Current

Defined in NewtypeZoo.Current

Methods

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

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

MonadZip Current

Defined in NewtypeZoo.Current

Methods

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

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

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

Pointed Current

Defined in NewtypeZoo.Current

Methods

point :: a -> Current a

Copointed Current

Defined in NewtypeZoo.Current

Methods

copoint :: Current a -> a

Bounded a => Bounded (Current a)

Defined in NewtypeZoo.Current

Methods

minBound :: Current a

maxBound :: Current a

Enum a => Enum (Current a)

Defined in NewtypeZoo.Current

Methods

succ :: Current a -> Current a

pred :: Current a -> Current a

toEnum :: Int -> Current a

fromEnum :: Current a -> Int

enumFrom :: Current a -> [Current a]

enumFromThen :: Current a -> Current a -> [Current a]

enumFromTo :: Current a -> Current a -> [Current a]

enumFromThenTo :: Current a -> Current a -> Current a -> [Current a]

Eq a => Eq (Current a)

Defined in NewtypeZoo.Current

Methods

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

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

Floating a => Floating (Current a)

Defined in NewtypeZoo.Current

Methods

pi :: Current a

exp :: Current a -> Current a

log :: Current a -> Current a

sqrt :: Current a -> Current a

(**) :: Current a -> Current a -> Current a

logBase :: Current a -> Current a -> Current a

sin :: Current a -> Current a

cos :: Current a -> Current a

tan :: Current a -> Current a

asin :: Current a -> Current a

acos :: Current a -> Current a

atan :: Current a -> Current a

sinh :: Current a -> Current a

cosh :: Current a -> Current a

tanh :: Current a -> Current a

asinh :: Current a -> Current a

acosh :: Current a -> Current a

atanh :: Current a -> Current a

log1p :: Current a -> Current a

expm1 :: Current a -> Current a

log1pexp :: Current a -> Current a

log1mexp :: Current a -> Current a

Fractional a => Fractional (Current a)

Defined in NewtypeZoo.Current

Methods

(/) :: Current a -> Current a -> Current a

recip :: Current a -> Current a

fromRational :: Rational -> Current a

Integral a => Integral (Current a)

Defined in NewtypeZoo.Current

Methods

quot :: Current a -> Current a -> Current a

rem :: Current a -> Current a -> Current a

div :: Current a -> Current a -> Current a

mod :: Current a -> Current a -> Current a

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

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

toInteger :: Current a -> Integer

Num a => Num (Current a)

Defined in NewtypeZoo.Current

Methods

(+) :: Current a -> Current a -> Current a

(-) :: Current a -> Current a -> Current a

(*) :: Current a -> Current a -> Current a

negate :: Current a -> Current a

abs :: Current a -> Current a

signum :: Current a -> Current a

fromInteger :: Integer -> Current a

Ord a => Ord (Current a)

Defined in NewtypeZoo.Current

Methods

compare :: Current a -> Current a -> Ordering

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

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

(>) :: Current a -> Current a -> Bool

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

max :: Current a -> Current a -> Current a

min :: Current a -> Current a -> Current a

Read a => Read (Current a)

Defined in NewtypeZoo.Current

Methods

readsPrec :: Int -> ReadS (Current a)

readList :: ReadS [Current a]

readPrec :: ReadPrec (Current a)

readListPrec :: ReadPrec [Current a]

Real a => Real (Current a)

Defined in NewtypeZoo.Current

Methods

toRational :: Current a -> Rational

RealFloat a => RealFloat (Current a)

Defined in NewtypeZoo.Current

Methods

floatRadix :: Current a -> Integer

floatDigits :: Current a -> Int

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

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

encodeFloat :: Integer -> Int -> Current a

exponent :: Current a -> Int

significand :: Current a -> Current a

scaleFloat :: Int -> Current a -> Current a

isNaN :: Current a -> Bool

isInfinite :: Current a -> Bool

isDenormalized :: Current a -> Bool

isNegativeZero :: Current a -> Bool

isIEEE :: Current a -> Bool

atan2 :: Current a -> Current a -> Current a

RealFrac a => RealFrac (Current a)

Defined in NewtypeZoo.Current

Methods

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

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

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

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

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

Show a => Show (Current a)

Defined in NewtypeZoo.Current

Methods

showsPrec :: Int -> Current a -> ShowS

show :: Current a -> String

showList :: [Current a] -> ShowS

Ix a => Ix (Current a)

Defined in NewtypeZoo.Current

Methods

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

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

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

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

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

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

IsString a => IsString (Current a)

Defined in NewtypeZoo.Current

Methods

fromString :: String -> Current a

Generic (Current a)

Defined in NewtypeZoo.Current

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Current a)

Defined in NewtypeZoo.Current

Methods

(<>) :: Current a -> Current a -> Current a

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

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

Monoid a => Monoid (Current a)

Defined in NewtypeZoo.Current

Methods

mempty :: Current a

mappend :: Current a -> Current a -> Current a

mconcat :: [Current a] -> Current a

Arbitrary a => Arbitrary (Current a)

Defined in NewtypeZoo.Current

Methods

arbitrary :: Gen (Current a)

shrink :: Current a -> [Current a]

Bits a => Bits (Current a)

Defined in NewtypeZoo.Current

Methods

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

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

xor :: Current a -> Current a -> Current a

complement :: Current a -> Current a

shift :: Current a -> Int -> Current a

rotate :: Current a -> Int -> Current a

zeroBits :: Current a

bit :: Int -> Current a

setBit :: Current a -> Int -> Current a

clearBit :: Current a -> Int -> Current a

complementBit :: Current a -> Int -> Current a

testBit :: Current a -> Int -> Bool

bitSizeMaybe :: Current a -> Maybe Int

bitSize :: Current a -> Int

isSigned :: Current a -> Bool

shiftL :: Current a -> Int -> Current a

unsafeShiftL :: Current a -> Int -> Current a

shiftR :: Current a -> Int -> Current a

unsafeShiftR :: Current a -> Int -> Current a

rotateL :: Current a -> Int -> Current a

rotateR :: Current a -> Int -> Current a

popCount :: Current a -> Int

FiniteBits a => FiniteBits (Current a)

Defined in NewtypeZoo.Current

Methods

finiteBitSize :: Current a -> Int

countLeadingZeros :: Current a -> Int

countTrailingZeros :: Current a -> Int

Default a => Default (Current a)

Defined in NewtypeZoo.Current

Methods

def :: Current a

NFData a => NFData (Current a)

Defined in NewtypeZoo.Current

Methods

rnf :: Current a -> ()

Random a => Random (Current a)

Defined in NewtypeZoo.Current

Methods

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

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

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

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

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

randomIO :: IO (Current a)

Generic1 Current

Defined in NewtypeZoo.Current

Associated Types

type Rep1 Current :: k -> Type

Methods

from1 :: Current a -> Rep1 Current a

to1 :: Rep1 Current a -> Current a

type Rep (Current a)

Defined in NewtypeZoo.Current

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

type Rep1 Current

Defined in NewtypeZoo.Current

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

_theCurrent :: Current x -> x

theCurrent :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Current a) (f (Current b))