NewtypeZoo.Completed

Indicate that something is Completed.

Documentation

newtype Completed a

Constructors

Completed a

Instances

Monad Completed

Defined in NewtypeZoo.Completed

Methods

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

(>>) :: Completed a -> Completed b -> Completed b

return :: a -> Completed a

Functor Completed

Defined in NewtypeZoo.Completed

Methods

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

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

MonadFix Completed

Defined in NewtypeZoo.Completed

Methods

mfix :: (a -> Completed a) -> Completed a

Applicative Completed

Defined in NewtypeZoo.Completed

Methods

pure :: a -> Completed a

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

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

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

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

Foldable Completed

Defined in NewtypeZoo.Completed

Methods

fold :: Monoid m => Completed m -> m

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

foldMap' :: Monoid m => (a -> m) -> Completed a -> m

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

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

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

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

foldr1 :: (a -> a -> a) -> Completed a -> a

foldl1 :: (a -> a -> a) -> Completed a -> a

toList :: Completed a -> [a]

null :: Completed a -> Bool

length :: Completed a -> Int

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

maximum :: Ord a => Completed a -> a

minimum :: Ord a => Completed a -> a

sum :: Num a => Completed a -> a

product :: Num a => Completed a -> a

Traversable Completed

Defined in NewtypeZoo.Completed

Methods

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

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

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

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

Eq1 Completed

Defined in NewtypeZoo.Completed

Methods

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

Ord1 Completed

Defined in NewtypeZoo.Completed

Methods

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

Read1 Completed

Defined in NewtypeZoo.Completed

Methods

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

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

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

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

Show1 Completed

Defined in NewtypeZoo.Completed

Methods

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

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

MonadZip Completed

Defined in NewtypeZoo.Completed

Methods

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

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

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

Pointed Completed

Defined in NewtypeZoo.Completed

Methods

point :: a -> Completed a

Copointed Completed

Defined in NewtypeZoo.Completed

Methods

copoint :: Completed a -> a

Bounded a => Bounded (Completed a)

Defined in NewtypeZoo.Completed

Methods

minBound :: Completed a

maxBound :: Completed a

Enum a => Enum (Completed a)

Defined in NewtypeZoo.Completed

Methods

succ :: Completed a -> Completed a

pred :: Completed a -> Completed a

toEnum :: Int -> Completed a

fromEnum :: Completed a -> Int

enumFrom :: Completed a -> [Completed a]

enumFromThen :: Completed a -> Completed a -> [Completed a]

enumFromTo :: Completed a -> Completed a -> [Completed a]

enumFromThenTo :: Completed a -> Completed a -> Completed a -> [Completed a]

Eq a => Eq (Completed a)

Defined in NewtypeZoo.Completed

Methods

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

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

Floating a => Floating (Completed a)

Defined in NewtypeZoo.Completed

Methods

pi :: Completed a

exp :: Completed a -> Completed a

log :: Completed a -> Completed a

sqrt :: Completed a -> Completed a

(**) :: Completed a -> Completed a -> Completed a

logBase :: Completed a -> Completed a -> Completed a

sin :: Completed a -> Completed a

cos :: Completed a -> Completed a

tan :: Completed a -> Completed a

asin :: Completed a -> Completed a

acos :: Completed a -> Completed a

atan :: Completed a -> Completed a

sinh :: Completed a -> Completed a

cosh :: Completed a -> Completed a

tanh :: Completed a -> Completed a

asinh :: Completed a -> Completed a

acosh :: Completed a -> Completed a

atanh :: Completed a -> Completed a

log1p :: Completed a -> Completed a

expm1 :: Completed a -> Completed a

log1pexp :: Completed a -> Completed a

log1mexp :: Completed a -> Completed a

Fractional a => Fractional (Completed a)

Defined in NewtypeZoo.Completed

Methods

(/) :: Completed a -> Completed a -> Completed a

recip :: Completed a -> Completed a

fromRational :: Rational -> Completed a

Integral a => Integral (Completed a)

Defined in NewtypeZoo.Completed

Methods

quot :: Completed a -> Completed a -> Completed a

rem :: Completed a -> Completed a -> Completed a

div :: Completed a -> Completed a -> Completed a

mod :: Completed a -> Completed a -> Completed a

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

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

toInteger :: Completed a -> Integer

Num a => Num (Completed a)

Defined in NewtypeZoo.Completed

Methods

(+) :: Completed a -> Completed a -> Completed a

(-) :: Completed a -> Completed a -> Completed a

(*) :: Completed a -> Completed a -> Completed a

negate :: Completed a -> Completed a

abs :: Completed a -> Completed a

signum :: Completed a -> Completed a

fromInteger :: Integer -> Completed a

Ord a => Ord (Completed a)

Defined in NewtypeZoo.Completed

Methods

compare :: Completed a -> Completed a -> Ordering

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

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

(>) :: Completed a -> Completed a -> Bool

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

max :: Completed a -> Completed a -> Completed a

min :: Completed a -> Completed a -> Completed a

Read a => Read (Completed a)

Defined in NewtypeZoo.Completed

Methods

readsPrec :: Int -> ReadS (Completed a)

readList :: ReadS [Completed a]

readPrec :: ReadPrec (Completed a)

readListPrec :: ReadPrec [Completed a]

Real a => Real (Completed a)

Defined in NewtypeZoo.Completed

Methods

toRational :: Completed a -> Rational

RealFloat a => RealFloat (Completed a)

Defined in NewtypeZoo.Completed

Methods

floatRadix :: Completed a -> Integer

floatDigits :: Completed a -> Int

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

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

encodeFloat :: Integer -> Int -> Completed a

exponent :: Completed a -> Int

significand :: Completed a -> Completed a

scaleFloat :: Int -> Completed a -> Completed a

isNaN :: Completed a -> Bool

isInfinite :: Completed a -> Bool

isDenormalized :: Completed a -> Bool

isNegativeZero :: Completed a -> Bool

isIEEE :: Completed a -> Bool

atan2 :: Completed a -> Completed a -> Completed a

RealFrac a => RealFrac (Completed a)

Defined in NewtypeZoo.Completed

Methods

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

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

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

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

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

Show a => Show (Completed a)

Defined in NewtypeZoo.Completed

Methods

showsPrec :: Int -> Completed a -> ShowS

show :: Completed a -> String

showList :: [Completed a] -> ShowS

Ix a => Ix (Completed a)

Defined in NewtypeZoo.Completed

Methods

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

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

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

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

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

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

IsString a => IsString (Completed a)

Defined in NewtypeZoo.Completed

Methods

fromString :: String -> Completed a

Generic (Completed a)

Defined in NewtypeZoo.Completed

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Completed a)

Defined in NewtypeZoo.Completed

Methods

(<>) :: Completed a -> Completed a -> Completed a

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

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

Monoid a => Monoid (Completed a)

Defined in NewtypeZoo.Completed

Methods

mempty :: Completed a

mappend :: Completed a -> Completed a -> Completed a

mconcat :: [Completed a] -> Completed a

Arbitrary a => Arbitrary (Completed a)

Defined in NewtypeZoo.Completed

Methods

arbitrary :: Gen (Completed a)

shrink :: Completed a -> [Completed a]

Bits a => Bits (Completed a)

Defined in NewtypeZoo.Completed

Methods

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

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

xor :: Completed a -> Completed a -> Completed a

complement :: Completed a -> Completed a

shift :: Completed a -> Int -> Completed a

rotate :: Completed a -> Int -> Completed a

zeroBits :: Completed a

bit :: Int -> Completed a

setBit :: Completed a -> Int -> Completed a

clearBit :: Completed a -> Int -> Completed a

complementBit :: Completed a -> Int -> Completed a

testBit :: Completed a -> Int -> Bool

bitSizeMaybe :: Completed a -> Maybe Int

bitSize :: Completed a -> Int

isSigned :: Completed a -> Bool

shiftL :: Completed a -> Int -> Completed a

unsafeShiftL :: Completed a -> Int -> Completed a

shiftR :: Completed a -> Int -> Completed a

unsafeShiftR :: Completed a -> Int -> Completed a

rotateL :: Completed a -> Int -> Completed a

rotateR :: Completed a -> Int -> Completed a

popCount :: Completed a -> Int

FiniteBits a => FiniteBits (Completed a)

Defined in NewtypeZoo.Completed

Methods

finiteBitSize :: Completed a -> Int

countLeadingZeros :: Completed a -> Int

countTrailingZeros :: Completed a -> Int

Default a => Default (Completed a)

Defined in NewtypeZoo.Completed

Methods

def :: Completed a

NFData a => NFData (Completed a)

Defined in NewtypeZoo.Completed

Methods

rnf :: Completed a -> ()

Random a => Random (Completed a)

Defined in NewtypeZoo.Completed

Methods

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

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

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

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

Generic1 Completed

Defined in NewtypeZoo.Completed

Associated Types

type Rep1 Completed :: k -> Type

Methods

from1 :: forall (a :: k). Completed a -> Rep1 Completed a

to1 :: forall (a :: k). Rep1 Completed a -> Completed a

type Rep (Completed a)

Defined in NewtypeZoo.Completed

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

type Rep1 Completed

Defined in NewtypeZoo.Completed

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

_theCompleted :: Completed x -> x

theCompleted :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Completed a) (f (Completed b))