NewtypeZoo.Allocated

Indicate that something is Allocated.

Documentation

newtype Allocated a

Constructors

Allocated a

Instances

Monad Allocated

Defined in NewtypeZoo.Allocated

Methods

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

(>>) :: Allocated a -> Allocated b -> Allocated b

return :: a -> Allocated a

fail :: String -> Allocated a

Functor Allocated

Defined in NewtypeZoo.Allocated

Methods

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

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

MonadFix Allocated

Defined in NewtypeZoo.Allocated

Methods

mfix :: (a -> Allocated a) -> Allocated a

Applicative Allocated

Defined in NewtypeZoo.Allocated

Methods

pure :: a -> Allocated a

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

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

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

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

Foldable Allocated

Defined in NewtypeZoo.Allocated

Methods

fold :: Monoid m => Allocated m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Allocated a -> a

foldl1 :: (a -> a -> a) -> Allocated a -> a

toList :: Allocated a -> [a]

null :: Allocated a -> Bool

length :: Allocated a -> Int

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

maximum :: Ord a => Allocated a -> a

minimum :: Ord a => Allocated a -> a

sum :: Num a => Allocated a -> a

product :: Num a => Allocated a -> a

Traversable Allocated

Defined in NewtypeZoo.Allocated

Methods

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

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

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

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

Eq1 Allocated

Defined in NewtypeZoo.Allocated

Methods

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

Ord1 Allocated

Defined in NewtypeZoo.Allocated

Methods

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

Read1 Allocated

Defined in NewtypeZoo.Allocated

Methods

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

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

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

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

Show1 Allocated

Defined in NewtypeZoo.Allocated

Methods

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

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

MonadZip Allocated

Defined in NewtypeZoo.Allocated

Methods

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

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

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

Pointed Allocated

Defined in NewtypeZoo.Allocated

Methods

point :: a -> Allocated a

Copointed Allocated

Defined in NewtypeZoo.Allocated

Methods

copoint :: Allocated a -> a

Bounded a => Bounded (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

minBound :: Allocated a

maxBound :: Allocated a

Enum a => Enum (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

succ :: Allocated a -> Allocated a

pred :: Allocated a -> Allocated a

toEnum :: Int -> Allocated a

fromEnum :: Allocated a -> Int

enumFrom :: Allocated a -> [Allocated a]

enumFromThen :: Allocated a -> Allocated a -> [Allocated a]

enumFromTo :: Allocated a -> Allocated a -> [Allocated a]

enumFromThenTo :: Allocated a -> Allocated a -> Allocated a -> [Allocated a]

Eq a => Eq (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

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

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

Floating a => Floating (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

pi :: Allocated a

exp :: Allocated a -> Allocated a

log :: Allocated a -> Allocated a

sqrt :: Allocated a -> Allocated a

(**) :: Allocated a -> Allocated a -> Allocated a

logBase :: Allocated a -> Allocated a -> Allocated a

sin :: Allocated a -> Allocated a

cos :: Allocated a -> Allocated a

tan :: Allocated a -> Allocated a

asin :: Allocated a -> Allocated a

acos :: Allocated a -> Allocated a

atan :: Allocated a -> Allocated a

sinh :: Allocated a -> Allocated a

cosh :: Allocated a -> Allocated a

tanh :: Allocated a -> Allocated a

asinh :: Allocated a -> Allocated a

acosh :: Allocated a -> Allocated a

atanh :: Allocated a -> Allocated a

log1p :: Allocated a -> Allocated a

expm1 :: Allocated a -> Allocated a

log1pexp :: Allocated a -> Allocated a

log1mexp :: Allocated a -> Allocated a

Fractional a => Fractional (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

(/) :: Allocated a -> Allocated a -> Allocated a

recip :: Allocated a -> Allocated a

fromRational :: Rational -> Allocated a

Integral a => Integral (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

quot :: Allocated a -> Allocated a -> Allocated a

rem :: Allocated a -> Allocated a -> Allocated a

div :: Allocated a -> Allocated a -> Allocated a

mod :: Allocated a -> Allocated a -> Allocated a

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

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

toInteger :: Allocated a -> Integer

Num a => Num (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

(+) :: Allocated a -> Allocated a -> Allocated a

(-) :: Allocated a -> Allocated a -> Allocated a

(*) :: Allocated a -> Allocated a -> Allocated a

negate :: Allocated a -> Allocated a

abs :: Allocated a -> Allocated a

signum :: Allocated a -> Allocated a

fromInteger :: Integer -> Allocated a

Ord a => Ord (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

compare :: Allocated a -> Allocated a -> Ordering

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

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

(>) :: Allocated a -> Allocated a -> Bool

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

max :: Allocated a -> Allocated a -> Allocated a

min :: Allocated a -> Allocated a -> Allocated a

Read a => Read (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

readsPrec :: Int -> ReadS (Allocated a)

readList :: ReadS [Allocated a]

readPrec :: ReadPrec (Allocated a)

readListPrec :: ReadPrec [Allocated a]

Real a => Real (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

toRational :: Allocated a -> Rational

RealFloat a => RealFloat (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

floatRadix :: Allocated a -> Integer

floatDigits :: Allocated a -> Int

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

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

encodeFloat :: Integer -> Int -> Allocated a

exponent :: Allocated a -> Int

significand :: Allocated a -> Allocated a

scaleFloat :: Int -> Allocated a -> Allocated a

isNaN :: Allocated a -> Bool

isInfinite :: Allocated a -> Bool

isDenormalized :: Allocated a -> Bool

isNegativeZero :: Allocated a -> Bool

isIEEE :: Allocated a -> Bool

atan2 :: Allocated a -> Allocated a -> Allocated a

RealFrac a => RealFrac (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

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

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

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

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

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

Show a => Show (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

showsPrec :: Int -> Allocated a -> ShowS

show :: Allocated a -> String

showList :: [Allocated a] -> ShowS

Ix a => Ix (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

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

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

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

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

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

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

IsString a => IsString (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

fromString :: String -> Allocated a

Generic (Allocated a)

Defined in NewtypeZoo.Allocated

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

(<>) :: Allocated a -> Allocated a -> Allocated a

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

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

Monoid a => Monoid (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

mempty :: Allocated a

mappend :: Allocated a -> Allocated a -> Allocated a

mconcat :: [Allocated a] -> Allocated a

Arbitrary a => Arbitrary (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

arbitrary :: Gen (Allocated a)

shrink :: Allocated a -> [Allocated a]

Bits a => Bits (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

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

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

xor :: Allocated a -> Allocated a -> Allocated a

complement :: Allocated a -> Allocated a

shift :: Allocated a -> Int -> Allocated a

rotate :: Allocated a -> Int -> Allocated a

zeroBits :: Allocated a

bit :: Int -> Allocated a

setBit :: Allocated a -> Int -> Allocated a

clearBit :: Allocated a -> Int -> Allocated a

complementBit :: Allocated a -> Int -> Allocated a

testBit :: Allocated a -> Int -> Bool

bitSizeMaybe :: Allocated a -> Maybe Int

bitSize :: Allocated a -> Int

isSigned :: Allocated a -> Bool

shiftL :: Allocated a -> Int -> Allocated a

unsafeShiftL :: Allocated a -> Int -> Allocated a

shiftR :: Allocated a -> Int -> Allocated a

unsafeShiftR :: Allocated a -> Int -> Allocated a

rotateL :: Allocated a -> Int -> Allocated a

rotateR :: Allocated a -> Int -> Allocated a

popCount :: Allocated a -> Int

FiniteBits a => FiniteBits (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

finiteBitSize :: Allocated a -> Int

countLeadingZeros :: Allocated a -> Int

countTrailingZeros :: Allocated a -> Int

Default a => Default (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

def :: Allocated a

NFData a => NFData (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

rnf :: Allocated a -> ()

Random a => Random (Allocated a)

Defined in NewtypeZoo.Allocated

Methods

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

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

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

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

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

randomIO :: IO (Allocated a)

Generic1 Allocated

Defined in NewtypeZoo.Allocated

Associated Types

type Rep1 Allocated :: k -> Type

Methods

from1 :: Allocated a -> Rep1 Allocated a

to1 :: Rep1 Allocated a -> Allocated a

type Rep (Allocated a)

Defined in NewtypeZoo.Allocated

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

type Rep1 Allocated

Defined in NewtypeZoo.Allocated

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

_theAllocated :: Allocated x -> x

theAllocated :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Allocated a) (f (Allocated b))