NewtypeZoo.Complete

Indicate that something is Complete.

Documentation

newtype Complete a

Constructors

Complete a

Instances

Monad Complete

Defined in NewtypeZoo.Complete

Methods

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

(>>) :: Complete a -> Complete b -> Complete b

return :: a -> Complete a

fail :: String -> Complete a

Functor Complete

Defined in NewtypeZoo.Complete

Methods

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

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

MonadFix Complete

Defined in NewtypeZoo.Complete

Methods

mfix :: (a -> Complete a) -> Complete a

Applicative Complete

Defined in NewtypeZoo.Complete

Methods

pure :: a -> Complete a

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

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

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

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

Foldable Complete

Defined in NewtypeZoo.Complete

Methods

fold :: Monoid m => Complete m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Complete a -> a

foldl1 :: (a -> a -> a) -> Complete a -> a

toList :: Complete a -> [a]

null :: Complete a -> Bool

length :: Complete a -> Int

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

maximum :: Ord a => Complete a -> a

minimum :: Ord a => Complete a -> a

sum :: Num a => Complete a -> a

product :: Num a => Complete a -> a

Traversable Complete

Defined in NewtypeZoo.Complete

Methods

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

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

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

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

Eq1 Complete

Defined in NewtypeZoo.Complete

Methods

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

Ord1 Complete

Defined in NewtypeZoo.Complete

Methods

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

Read1 Complete

Defined in NewtypeZoo.Complete

Methods

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

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

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

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

Show1 Complete

Defined in NewtypeZoo.Complete

Methods

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

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

MonadZip Complete

Defined in NewtypeZoo.Complete

Methods

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

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

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

Pointed Complete

Defined in NewtypeZoo.Complete

Methods

point :: a -> Complete a

Copointed Complete

Defined in NewtypeZoo.Complete

Methods

copoint :: Complete a -> a

Bounded a => Bounded (Complete a)

Defined in NewtypeZoo.Complete

Methods

minBound :: Complete a

maxBound :: Complete a

Enum a => Enum (Complete a)

Defined in NewtypeZoo.Complete

Methods

succ :: Complete a -> Complete a

pred :: Complete a -> Complete a

toEnum :: Int -> Complete a

fromEnum :: Complete a -> Int

enumFrom :: Complete a -> [Complete a]

enumFromThen :: Complete a -> Complete a -> [Complete a]

enumFromTo :: Complete a -> Complete a -> [Complete a]

enumFromThenTo :: Complete a -> Complete a -> Complete a -> [Complete a]

Eq a => Eq (Complete a)

Defined in NewtypeZoo.Complete

Methods

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

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

Floating a => Floating (Complete a)

Defined in NewtypeZoo.Complete

Methods

pi :: Complete a

exp :: Complete a -> Complete a

log :: Complete a -> Complete a

sqrt :: Complete a -> Complete a

(**) :: Complete a -> Complete a -> Complete a

logBase :: Complete a -> Complete a -> Complete a

sin :: Complete a -> Complete a

cos :: Complete a -> Complete a

tan :: Complete a -> Complete a

asin :: Complete a -> Complete a

acos :: Complete a -> Complete a

atan :: Complete a -> Complete a

sinh :: Complete a -> Complete a

cosh :: Complete a -> Complete a

tanh :: Complete a -> Complete a

asinh :: Complete a -> Complete a

acosh :: Complete a -> Complete a

atanh :: Complete a -> Complete a

log1p :: Complete a -> Complete a

expm1 :: Complete a -> Complete a

log1pexp :: Complete a -> Complete a

log1mexp :: Complete a -> Complete a

Fractional a => Fractional (Complete a)

Defined in NewtypeZoo.Complete

Methods

(/) :: Complete a -> Complete a -> Complete a

recip :: Complete a -> Complete a

fromRational :: Rational -> Complete a

Integral a => Integral (Complete a)

Defined in NewtypeZoo.Complete

Methods

quot :: Complete a -> Complete a -> Complete a

rem :: Complete a -> Complete a -> Complete a

div :: Complete a -> Complete a -> Complete a

mod :: Complete a -> Complete a -> Complete a

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

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

toInteger :: Complete a -> Integer

Num a => Num (Complete a)

Defined in NewtypeZoo.Complete

Methods

(+) :: Complete a -> Complete a -> Complete a

(-) :: Complete a -> Complete a -> Complete a

(*) :: Complete a -> Complete a -> Complete a

negate :: Complete a -> Complete a

abs :: Complete a -> Complete a

signum :: Complete a -> Complete a

fromInteger :: Integer -> Complete a

Ord a => Ord (Complete a)

Defined in NewtypeZoo.Complete

Methods

compare :: Complete a -> Complete a -> Ordering

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

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

(>) :: Complete a -> Complete a -> Bool

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

max :: Complete a -> Complete a -> Complete a

min :: Complete a -> Complete a -> Complete a

Read a => Read (Complete a)

Defined in NewtypeZoo.Complete

Methods

readsPrec :: Int -> ReadS (Complete a)

readList :: ReadS [Complete a]

readPrec :: ReadPrec (Complete a)

readListPrec :: ReadPrec [Complete a]

Real a => Real (Complete a)

Defined in NewtypeZoo.Complete

Methods

toRational :: Complete a -> Rational

RealFloat a => RealFloat (Complete a)

Defined in NewtypeZoo.Complete

Methods

floatRadix :: Complete a -> Integer

floatDigits :: Complete a -> Int

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

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

encodeFloat :: Integer -> Int -> Complete a

exponent :: Complete a -> Int

significand :: Complete a -> Complete a

scaleFloat :: Int -> Complete a -> Complete a

isNaN :: Complete a -> Bool

isInfinite :: Complete a -> Bool

isDenormalized :: Complete a -> Bool

isNegativeZero :: Complete a -> Bool

isIEEE :: Complete a -> Bool

atan2 :: Complete a -> Complete a -> Complete a

RealFrac a => RealFrac (Complete a)

Defined in NewtypeZoo.Complete

Methods

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

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

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

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

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

Show a => Show (Complete a)

Defined in NewtypeZoo.Complete

Methods

showsPrec :: Int -> Complete a -> ShowS

show :: Complete a -> String

showList :: [Complete a] -> ShowS

Ix a => Ix (Complete a)

Defined in NewtypeZoo.Complete

Methods

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

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

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

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

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

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

IsString a => IsString (Complete a)

Defined in NewtypeZoo.Complete

Methods

fromString :: String -> Complete a

Generic (Complete a)

Defined in NewtypeZoo.Complete

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Complete a)

Defined in NewtypeZoo.Complete

Methods

(<>) :: Complete a -> Complete a -> Complete a

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

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

Monoid a => Monoid (Complete a)

Defined in NewtypeZoo.Complete

Methods

mempty :: Complete a

mappend :: Complete a -> Complete a -> Complete a

mconcat :: [Complete a] -> Complete a

Arbitrary a => Arbitrary (Complete a)

Defined in NewtypeZoo.Complete

Methods

arbitrary :: Gen (Complete a)

shrink :: Complete a -> [Complete a]

Bits a => Bits (Complete a)

Defined in NewtypeZoo.Complete

Methods

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

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

xor :: Complete a -> Complete a -> Complete a

complement :: Complete a -> Complete a

shift :: Complete a -> Int -> Complete a

rotate :: Complete a -> Int -> Complete a

zeroBits :: Complete a

bit :: Int -> Complete a

setBit :: Complete a -> Int -> Complete a

clearBit :: Complete a -> Int -> Complete a

complementBit :: Complete a -> Int -> Complete a

testBit :: Complete a -> Int -> Bool

bitSizeMaybe :: Complete a -> Maybe Int

bitSize :: Complete a -> Int

isSigned :: Complete a -> Bool

shiftL :: Complete a -> Int -> Complete a

unsafeShiftL :: Complete a -> Int -> Complete a

shiftR :: Complete a -> Int -> Complete a

unsafeShiftR :: Complete a -> Int -> Complete a

rotateL :: Complete a -> Int -> Complete a

rotateR :: Complete a -> Int -> Complete a

popCount :: Complete a -> Int

FiniteBits a => FiniteBits (Complete a)

Defined in NewtypeZoo.Complete

Methods

finiteBitSize :: Complete a -> Int

countLeadingZeros :: Complete a -> Int

countTrailingZeros :: Complete a -> Int

Default a => Default (Complete a)

Defined in NewtypeZoo.Complete

Methods

def :: Complete a

NFData a => NFData (Complete a)

Defined in NewtypeZoo.Complete

Methods

rnf :: Complete a -> ()

Random a => Random (Complete a)

Defined in NewtypeZoo.Complete

Methods

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

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

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

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

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

randomIO :: IO (Complete a)

Generic1 Complete

Defined in NewtypeZoo.Complete

Associated Types

type Rep1 Complete :: k -> Type

Methods

from1 :: Complete a -> Rep1 Complete a

to1 :: Rep1 Complete a -> Complete a

type Rep (Complete a)

Defined in NewtypeZoo.Complete

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

type Rep1 Complete

Defined in NewtypeZoo.Complete

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

_theComplete :: Complete x -> x

theComplete :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Complete a) (f (Complete b))