Data.Digit.Digitf

Documentation

newtype Digitf a

Constructors

Digitf a

Instances

Monad Digitf

Methods

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

(>>) :: Digitf a -> Digitf b -> Digitf b

return :: a -> Digitf a

fail :: String -> Digitf a

Functor Digitf

Methods

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

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

Applicative Digitf

Methods

pure :: a -> Digitf a

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

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

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

Foldable Digitf

Methods

fold :: Monoid m => Digitf m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Digitf a -> a

foldl1 :: (a -> a -> a) -> Digitf a -> a

toList :: Digitf a -> [a]

null :: Digitf a -> Bool

length :: Digitf a -> Int

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

maximum :: Ord a => Digitf a -> a

minimum :: Ord a => Digitf a -> a

sum :: Num a => Digitf a -> a

product :: Num a => Digitf a -> a

Traversable Digitf

Methods

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

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

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

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

Traversable1 Digitf

Methods

traverse1 :: Apply f => (a -> f b) -> Digitf a -> f (Digitf b)

sequence1 :: Apply f => Digitf (f b) -> f (Digitf b)

Foldable1 Digitf

Methods

fold1 :: Semigroup m => Digitf m -> m

foldMap1 :: Semigroup m => (a -> m) -> Digitf a -> m

toNonEmpty :: Digitf a -> NonEmpty a

Bind Digitf

Methods

(>>-) :: Digitf a -> (a -> Digitf b) -> Digitf b

join :: Digitf (Digitf a) -> Digitf a

Apply Digitf

Methods

(<.>) :: Digitf (a -> b) -> Digitf a -> Digitf b

(.>) :: Digitf a -> Digitf b -> Digitf b

(<.) :: Digitf a -> Digitf b -> Digitf a

FunctorWithIndex () Digitf

Methods

imap :: (() -> a -> b) -> Digitf a -> Digitf b

imapped :: (Indexable () p, Settable f) => p a (f b) -> Digitf a -> f (Digitf b)

FoldableWithIndex () Digitf

Methods

ifoldMap :: Monoid m => (() -> a -> m) -> Digitf a -> m

ifolded :: (Indexable () p, Contravariant f, Applicative f) => p a (f a) -> Digitf a -> f (Digitf a)

ifoldr :: (() -> a -> b -> b) -> b -> Digitf a -> b

ifoldl :: (() -> b -> a -> b) -> b -> Digitf a -> b

ifoldr' :: (() -> a -> b -> b) -> b -> Digitf a -> b

ifoldl' :: (() -> b -> a -> b) -> b -> Digitf a -> b

TraversableWithIndex () Digitf

Methods

itraverse :: Applicative f => (() -> a -> f b) -> Digitf a -> f (Digitf b)

itraversed :: (Indexable () p, Applicative f) => p a (f b) -> Digitf a -> f (Digitf b)

Bounded a => Bounded (Digitf a)

Methods

minBound :: Digitf a

maxBound :: Digitf a

Enum a => Enum (Digitf a)

Methods

succ :: Digitf a -> Digitf a

pred :: Digitf a -> Digitf a

toEnum :: Int -> Digitf a

fromEnum :: Digitf a -> Int

enumFrom :: Digitf a -> [Digitf a]

enumFromThen :: Digitf a -> Digitf a -> [Digitf a]

enumFromTo :: Digitf a -> Digitf a -> [Digitf a]

enumFromThenTo :: Digitf a -> Digitf a -> Digitf a -> [Digitf a]

Eq a => Eq (Digitf a)

Methods

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

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

Floating a => Floating (Digitf a)

Methods

pi :: Digitf a

exp :: Digitf a -> Digitf a

log :: Digitf a -> Digitf a

sqrt :: Digitf a -> Digitf a

(**) :: Digitf a -> Digitf a -> Digitf a

logBase :: Digitf a -> Digitf a -> Digitf a

sin :: Digitf a -> Digitf a

cos :: Digitf a -> Digitf a

tan :: Digitf a -> Digitf a

asin :: Digitf a -> Digitf a

acos :: Digitf a -> Digitf a

atan :: Digitf a -> Digitf a

sinh :: Digitf a -> Digitf a

cosh :: Digitf a -> Digitf a

tanh :: Digitf a -> Digitf a

asinh :: Digitf a -> Digitf a

acosh :: Digitf a -> Digitf a

atanh :: Digitf a -> Digitf a

log1p :: Digitf a -> Digitf a

expm1 :: Digitf a -> Digitf a

log1pexp :: Digitf a -> Digitf a

log1mexp :: Digitf a -> Digitf a

Fractional a => Fractional (Digitf a)

Methods

(/) :: Digitf a -> Digitf a -> Digitf a

recip :: Digitf a -> Digitf a

fromRational :: Rational -> Digitf a

Integral a => Integral (Digitf a)

Methods

quot :: Digitf a -> Digitf a -> Digitf a

rem :: Digitf a -> Digitf a -> Digitf a

div :: Digitf a -> Digitf a -> Digitf a

mod :: Digitf a -> Digitf a -> Digitf a

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

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

toInteger :: Digitf a -> Integer

Num a => Num (Digitf a)

Methods

(+) :: Digitf a -> Digitf a -> Digitf a

(-) :: Digitf a -> Digitf a -> Digitf a

(*) :: Digitf a -> Digitf a -> Digitf a

negate :: Digitf a -> Digitf a

abs :: Digitf a -> Digitf a

signum :: Digitf a -> Digitf a

fromInteger :: Integer -> Digitf a

Ord a => Ord (Digitf a)

Methods

compare :: Digitf a -> Digitf a -> Ordering

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

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

(>) :: Digitf a -> Digitf a -> Bool

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

max :: Digitf a -> Digitf a -> Digitf a

min :: Digitf a -> Digitf a -> Digitf a

Real a => Real (Digitf a)

Methods

toRational :: Digitf a -> Rational

RealFloat a => RealFloat (Digitf a)

Methods

floatRadix :: Digitf a -> Integer

floatDigits :: Digitf a -> Int

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

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

encodeFloat :: Integer -> Int -> Digitf a

exponent :: Digitf a -> Int

significand :: Digitf a -> Digitf a

scaleFloat :: Int -> Digitf a -> Digitf a

isNaN :: Digitf a -> Bool

isInfinite :: Digitf a -> Bool

isDenormalized :: Digitf a -> Bool

isNegativeZero :: Digitf a -> Bool

isIEEE :: Digitf a -> Bool

atan2 :: Digitf a -> Digitf a -> Digitf a

RealFrac a => RealFrac (Digitf a)

Methods

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

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

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

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

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

Show a => Show (Digitf a)

Methods

showsPrec :: Int -> Digitf a -> ShowS

show :: Digitf a -> String

showList :: [Digitf a] -> ShowS

Semigroup a => Semigroup (Digitf a)

Methods

(<>) :: Digitf a -> Digitf a -> Digitf a

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

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

Monoid a => Monoid (Digitf a)

Methods

mempty :: Digitf a

mappend :: Digitf a -> Digitf a -> Digitf a

mconcat :: [Digitf a] -> Digitf a

Ixed (Digitf a)

Methods

ix :: Index (Digitf a) -> Traversal' (Digitf a) (IxValue (Digitf a))

Wrapped (Digitf a0)

Associated Types

type Unwrapped (Digitf a0) :: *

Methods

_Wrapped' :: Iso' (Digitf a0) (Unwrapped (Digitf a0))

Df a => Df (Digitf a)

Methods

df :: Prism' (Digitf a) ()

xf :: Digitf a

(~) * (Digitf a0) t0 => Rewrapped (Digitf a1) t0

Each (Digitf a) (Digitf b) a b

Methods

each :: Traversal (Digitf a) (Digitf b) a b

Field1 (Digitf a) (Digitf b) a b

Methods

_1 :: Lens (Digitf a) (Digitf b) a b

type Index (Digitf a)

type Index (Digitf a) = ()

type IxValue (Digitf a)

type IxValue (Digitf a) = a

type Unwrapped (Digitf a0)

type Unwrapped (Digitf a0) = a0