Data.Digit.Digitb

Documentation

newtype Digitb a

Constructors

Digitb a

Instances

Monad Digitb

Methods

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

(>>) :: Digitb a -> Digitb b -> Digitb b

return :: a -> Digitb a

fail :: String -> Digitb a

Functor Digitb

Methods

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

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

Applicative Digitb

Methods

pure :: a -> Digitb a

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

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

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

Foldable Digitb

Methods

fold :: Monoid m => Digitb m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Digitb a -> a

foldl1 :: (a -> a -> a) -> Digitb a -> a

toList :: Digitb a -> [a]

null :: Digitb a -> Bool

length :: Digitb a -> Int

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

maximum :: Ord a => Digitb a -> a

minimum :: Ord a => Digitb a -> a

sum :: Num a => Digitb a -> a

product :: Num a => Digitb a -> a

Traversable Digitb

Methods

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

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

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

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

Traversable1 Digitb

Methods

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

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

Foldable1 Digitb

Methods

fold1 :: Semigroup m => Digitb m -> m

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

toNonEmpty :: Digitb a -> NonEmpty a

Bind Digitb

Methods

(>>-) :: Digitb a -> (a -> Digitb b) -> Digitb b

join :: Digitb (Digitb a) -> Digitb a

Apply Digitb

Methods

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

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

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

FunctorWithIndex () Digitb

Methods

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

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

FoldableWithIndex () Digitb

Methods

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

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

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

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

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

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

TraversableWithIndex () Digitb

Methods

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

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

Bounded a => Bounded (Digitb a)

Methods

minBound :: Digitb a

maxBound :: Digitb a

Enum a => Enum (Digitb a)

Methods

succ :: Digitb a -> Digitb a

pred :: Digitb a -> Digitb a

toEnum :: Int -> Digitb a

fromEnum :: Digitb a -> Int

enumFrom :: Digitb a -> [Digitb a]

enumFromThen :: Digitb a -> Digitb a -> [Digitb a]

enumFromTo :: Digitb a -> Digitb a -> [Digitb a]

enumFromThenTo :: Digitb a -> Digitb a -> Digitb a -> [Digitb a]

Eq a => Eq (Digitb a)

Methods

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

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

Floating a => Floating (Digitb a)

Methods

pi :: Digitb a

exp :: Digitb a -> Digitb a

log :: Digitb a -> Digitb a

sqrt :: Digitb a -> Digitb a

(**) :: Digitb a -> Digitb a -> Digitb a

logBase :: Digitb a -> Digitb a -> Digitb a

sin :: Digitb a -> Digitb a

cos :: Digitb a -> Digitb a

tan :: Digitb a -> Digitb a

asin :: Digitb a -> Digitb a

acos :: Digitb a -> Digitb a

atan :: Digitb a -> Digitb a

sinh :: Digitb a -> Digitb a

cosh :: Digitb a -> Digitb a

tanh :: Digitb a -> Digitb a

asinh :: Digitb a -> Digitb a

acosh :: Digitb a -> Digitb a

atanh :: Digitb a -> Digitb a

log1p :: Digitb a -> Digitb a

expm1 :: Digitb a -> Digitb a

log1pexp :: Digitb a -> Digitb a

log1mexp :: Digitb a -> Digitb a

Fractional a => Fractional (Digitb a)

Methods

(/) :: Digitb a -> Digitb a -> Digitb a

recip :: Digitb a -> Digitb a

fromRational :: Rational -> Digitb a

Integral a => Integral (Digitb a)

Methods

quot :: Digitb a -> Digitb a -> Digitb a

rem :: Digitb a -> Digitb a -> Digitb a

div :: Digitb a -> Digitb a -> Digitb a

mod :: Digitb a -> Digitb a -> Digitb a

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

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

toInteger :: Digitb a -> Integer

Num a => Num (Digitb a)

Methods

(+) :: Digitb a -> Digitb a -> Digitb a

(-) :: Digitb a -> Digitb a -> Digitb a

(*) :: Digitb a -> Digitb a -> Digitb a

negate :: Digitb a -> Digitb a

abs :: Digitb a -> Digitb a

signum :: Digitb a -> Digitb a

fromInteger :: Integer -> Digitb a

Ord a => Ord (Digitb a)

Methods

compare :: Digitb a -> Digitb a -> Ordering

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

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

(>) :: Digitb a -> Digitb a -> Bool

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

max :: Digitb a -> Digitb a -> Digitb a

min :: Digitb a -> Digitb a -> Digitb a

Real a => Real (Digitb a)

Methods

toRational :: Digitb a -> Rational

RealFloat a => RealFloat (Digitb a)

Methods

floatRadix :: Digitb a -> Integer

floatDigits :: Digitb a -> Int

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

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

encodeFloat :: Integer -> Int -> Digitb a

exponent :: Digitb a -> Int

significand :: Digitb a -> Digitb a

scaleFloat :: Int -> Digitb a -> Digitb a

isNaN :: Digitb a -> Bool

isInfinite :: Digitb a -> Bool

isDenormalized :: Digitb a -> Bool

isNegativeZero :: Digitb a -> Bool

isIEEE :: Digitb a -> Bool

atan2 :: Digitb a -> Digitb a -> Digitb a

RealFrac a => RealFrac (Digitb a)

Methods

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

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

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

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

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

Show a => Show (Digitb a)

Methods

showsPrec :: Int -> Digitb a -> ShowS

show :: Digitb a -> String

showList :: [Digitb a] -> ShowS

Semigroup a => Semigroup (Digitb a)

Methods

(<>) :: Digitb a -> Digitb a -> Digitb a

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

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

Monoid a => Monoid (Digitb a)

Methods

mempty :: Digitb a

mappend :: Digitb a -> Digitb a -> Digitb a

mconcat :: [Digitb a] -> Digitb a

Ixed (Digitb a)

Methods

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

Wrapped (Digitb a0)

Associated Types

type Unwrapped (Digitb a0) :: *

Methods

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

Db a => Db (Digitb a)

Methods

db :: Prism' (Digitb a) ()

xb :: Digitb a

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

Each (Digitb a) (Digitb b) a b

Methods

each :: Traversal (Digitb a) (Digitb b) a b

Field1 (Digitb a) (Digitb b) a b

Methods

_1 :: Lens (Digitb a) (Digitb b) a b

type Index (Digitb a)

type Index (Digitb a) = ()

type IxValue (Digitb a)

type IxValue (Digitb a) = a

type Unwrapped (Digitb a0)

type Unwrapped (Digitb a0) = a0