NewtypeZoo.Partial

Indicate that something is Partial.

Documentation

newtype Partial a

Constructors

Partial a

Instances

Monad Partial

Defined in NewtypeZoo.Partial

Methods

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

(>>) :: Partial a -> Partial b -> Partial b

return :: a -> Partial a

Functor Partial

Defined in NewtypeZoo.Partial

Methods

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

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

MonadFix Partial

Defined in NewtypeZoo.Partial

Methods

mfix :: (a -> Partial a) -> Partial a

Applicative Partial

Defined in NewtypeZoo.Partial

Methods

pure :: a -> Partial a

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

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

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

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

Foldable Partial

Defined in NewtypeZoo.Partial

Methods

fold :: Monoid m => Partial m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Partial a -> a

foldl1 :: (a -> a -> a) -> Partial a -> a

toList :: Partial a -> [a]

null :: Partial a -> Bool

length :: Partial a -> Int

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

maximum :: Ord a => Partial a -> a

minimum :: Ord a => Partial a -> a

sum :: Num a => Partial a -> a

product :: Num a => Partial a -> a

Traversable Partial

Defined in NewtypeZoo.Partial

Methods

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

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

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

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

Eq1 Partial

Defined in NewtypeZoo.Partial

Methods

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

Ord1 Partial

Defined in NewtypeZoo.Partial

Methods

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

Read1 Partial

Defined in NewtypeZoo.Partial

Methods

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

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

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

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

Show1 Partial

Defined in NewtypeZoo.Partial

Methods

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

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

MonadZip Partial

Defined in NewtypeZoo.Partial

Methods

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

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

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

Pointed Partial

Defined in NewtypeZoo.Partial

Methods

point :: a -> Partial a

Copointed Partial

Defined in NewtypeZoo.Partial

Methods

copoint :: Partial a -> a

Bounded a => Bounded (Partial a)

Defined in NewtypeZoo.Partial

Methods

minBound :: Partial a

maxBound :: Partial a

Enum a => Enum (Partial a)

Defined in NewtypeZoo.Partial

Methods

succ :: Partial a -> Partial a

pred :: Partial a -> Partial a

toEnum :: Int -> Partial a

fromEnum :: Partial a -> Int

enumFrom :: Partial a -> [Partial a]

enumFromThen :: Partial a -> Partial a -> [Partial a]

enumFromTo :: Partial a -> Partial a -> [Partial a]

enumFromThenTo :: Partial a -> Partial a -> Partial a -> [Partial a]

Eq a => Eq (Partial a)

Defined in NewtypeZoo.Partial

Methods

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

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

Floating a => Floating (Partial a)

Defined in NewtypeZoo.Partial

Methods

pi :: Partial a

exp :: Partial a -> Partial a

log :: Partial a -> Partial a

sqrt :: Partial a -> Partial a

(**) :: Partial a -> Partial a -> Partial a

logBase :: Partial a -> Partial a -> Partial a

sin :: Partial a -> Partial a

cos :: Partial a -> Partial a

tan :: Partial a -> Partial a

asin :: Partial a -> Partial a

acos :: Partial a -> Partial a

atan :: Partial a -> Partial a

sinh :: Partial a -> Partial a

cosh :: Partial a -> Partial a

tanh :: Partial a -> Partial a

asinh :: Partial a -> Partial a

acosh :: Partial a -> Partial a

atanh :: Partial a -> Partial a

log1p :: Partial a -> Partial a

expm1 :: Partial a -> Partial a

log1pexp :: Partial a -> Partial a

log1mexp :: Partial a -> Partial a

Fractional a => Fractional (Partial a)

Defined in NewtypeZoo.Partial

Methods

(/) :: Partial a -> Partial a -> Partial a

recip :: Partial a -> Partial a

fromRational :: Rational -> Partial a

Integral a => Integral (Partial a)

Defined in NewtypeZoo.Partial

Methods

quot :: Partial a -> Partial a -> Partial a

rem :: Partial a -> Partial a -> Partial a

div :: Partial a -> Partial a -> Partial a

mod :: Partial a -> Partial a -> Partial a

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

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

toInteger :: Partial a -> Integer

Num a => Num (Partial a)

Defined in NewtypeZoo.Partial

Methods

(+) :: Partial a -> Partial a -> Partial a

(-) :: Partial a -> Partial a -> Partial a

(*) :: Partial a -> Partial a -> Partial a

negate :: Partial a -> Partial a

abs :: Partial a -> Partial a

signum :: Partial a -> Partial a

fromInteger :: Integer -> Partial a

Ord a => Ord (Partial a)

Defined in NewtypeZoo.Partial

Methods

compare :: Partial a -> Partial a -> Ordering

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

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

(>) :: Partial a -> Partial a -> Bool

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

max :: Partial a -> Partial a -> Partial a

min :: Partial a -> Partial a -> Partial a

Read a => Read (Partial a)

Defined in NewtypeZoo.Partial

Methods

readsPrec :: Int -> ReadS (Partial a)

readList :: ReadS [Partial a]

readPrec :: ReadPrec (Partial a)

readListPrec :: ReadPrec [Partial a]

Real a => Real (Partial a)

Defined in NewtypeZoo.Partial

Methods

toRational :: Partial a -> Rational

RealFloat a => RealFloat (Partial a)

Defined in NewtypeZoo.Partial

Methods

floatRadix :: Partial a -> Integer

floatDigits :: Partial a -> Int

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

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

encodeFloat :: Integer -> Int -> Partial a

exponent :: Partial a -> Int

significand :: Partial a -> Partial a

scaleFloat :: Int -> Partial a -> Partial a

isNaN :: Partial a -> Bool

isInfinite :: Partial a -> Bool

isDenormalized :: Partial a -> Bool

isNegativeZero :: Partial a -> Bool

isIEEE :: Partial a -> Bool

atan2 :: Partial a -> Partial a -> Partial a

RealFrac a => RealFrac (Partial a)

Defined in NewtypeZoo.Partial

Methods

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

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

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

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

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

Show a => Show (Partial a)

Defined in NewtypeZoo.Partial

Methods

showsPrec :: Int -> Partial a -> ShowS

show :: Partial a -> String

showList :: [Partial a] -> ShowS

Ix a => Ix (Partial a)

Defined in NewtypeZoo.Partial

Methods

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

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

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

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

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

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

IsString a => IsString (Partial a)

Defined in NewtypeZoo.Partial

Methods

fromString :: String -> Partial a

Generic (Partial a)

Defined in NewtypeZoo.Partial

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Partial a)

Defined in NewtypeZoo.Partial

Methods

(<>) :: Partial a -> Partial a -> Partial a

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

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

Monoid a => Monoid (Partial a)

Defined in NewtypeZoo.Partial

Methods

mempty :: Partial a

mappend :: Partial a -> Partial a -> Partial a

mconcat :: [Partial a] -> Partial a

Arbitrary a => Arbitrary (Partial a)

Defined in NewtypeZoo.Partial

Methods

arbitrary :: Gen (Partial a)

shrink :: Partial a -> [Partial a]

Bits a => Bits (Partial a)

Defined in NewtypeZoo.Partial

Methods

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

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

xor :: Partial a -> Partial a -> Partial a

complement :: Partial a -> Partial a

shift :: Partial a -> Int -> Partial a

rotate :: Partial a -> Int -> Partial a

zeroBits :: Partial a

bit :: Int -> Partial a

setBit :: Partial a -> Int -> Partial a

clearBit :: Partial a -> Int -> Partial a

complementBit :: Partial a -> Int -> Partial a

testBit :: Partial a -> Int -> Bool

bitSizeMaybe :: Partial a -> Maybe Int

bitSize :: Partial a -> Int

isSigned :: Partial a -> Bool

shiftL :: Partial a -> Int -> Partial a

unsafeShiftL :: Partial a -> Int -> Partial a

shiftR :: Partial a -> Int -> Partial a

unsafeShiftR :: Partial a -> Int -> Partial a

rotateL :: Partial a -> Int -> Partial a

rotateR :: Partial a -> Int -> Partial a

popCount :: Partial a -> Int

FiniteBits a => FiniteBits (Partial a)

Defined in NewtypeZoo.Partial

Methods

finiteBitSize :: Partial a -> Int

countLeadingZeros :: Partial a -> Int

countTrailingZeros :: Partial a -> Int

Default a => Default (Partial a)

Defined in NewtypeZoo.Partial

Methods

def :: Partial a

NFData a => NFData (Partial a)

Defined in NewtypeZoo.Partial

Methods

rnf :: Partial a -> ()

Random a => Random (Partial a)

Defined in NewtypeZoo.Partial

Methods

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

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

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

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

Generic1 Partial

Defined in NewtypeZoo.Partial

Associated Types

type Rep1 Partial :: k -> Type

Methods

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

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

type Rep (Partial a)

Defined in NewtypeZoo.Partial

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

type Rep1 Partial

Defined in NewtypeZoo.Partial

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

_thePartial :: Partial x -> x

thePartial :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Partial a) (f (Partial b))