NewtypeZoo.Cached

Indicate that something is Cached.

Documentation

newtype Cached a

Constructors

Cached a

Instances

Monad Cached

Defined in NewtypeZoo.Cached

Methods

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

(>>) :: Cached a -> Cached b -> Cached b

return :: a -> Cached a

Functor Cached

Defined in NewtypeZoo.Cached

Methods

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

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

MonadFix Cached

Defined in NewtypeZoo.Cached

Methods

mfix :: (a -> Cached a) -> Cached a

Applicative Cached

Defined in NewtypeZoo.Cached

Methods

pure :: a -> Cached a

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

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

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

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

Foldable Cached

Defined in NewtypeZoo.Cached

Methods

fold :: Monoid m => Cached m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Cached a -> a

foldl1 :: (a -> a -> a) -> Cached a -> a

toList :: Cached a -> [a]

null :: Cached a -> Bool

length :: Cached a -> Int

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

maximum :: Ord a => Cached a -> a

minimum :: Ord a => Cached a -> a

sum :: Num a => Cached a -> a

product :: Num a => Cached a -> a

Traversable Cached

Defined in NewtypeZoo.Cached

Methods

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

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

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

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

Eq1 Cached

Defined in NewtypeZoo.Cached

Methods

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

Ord1 Cached

Defined in NewtypeZoo.Cached

Methods

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

Read1 Cached

Defined in NewtypeZoo.Cached

Methods

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

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

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

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

Show1 Cached

Defined in NewtypeZoo.Cached

Methods

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

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

MonadZip Cached

Defined in NewtypeZoo.Cached

Methods

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

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

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

Comonad Cached

Defined in NewtypeZoo.Cached

Methods

extract :: Cached a -> a

duplicate :: Cached a -> Cached (Cached a)

extend :: (Cached a -> b) -> Cached a -> Cached b

Pointed Cached

Defined in NewtypeZoo.Cached

Methods

point :: a -> Cached a

Copointed Cached

Defined in NewtypeZoo.Cached

Methods

copoint :: Cached a -> a

Bounded a => Bounded (Cached a)

Defined in NewtypeZoo.Cached

Methods

minBound :: Cached a

maxBound :: Cached a

Enum a => Enum (Cached a)

Defined in NewtypeZoo.Cached

Methods

succ :: Cached a -> Cached a

pred :: Cached a -> Cached a

toEnum :: Int -> Cached a

fromEnum :: Cached a -> Int

enumFrom :: Cached a -> [Cached a]

enumFromThen :: Cached a -> Cached a -> [Cached a]

enumFromTo :: Cached a -> Cached a -> [Cached a]

enumFromThenTo :: Cached a -> Cached a -> Cached a -> [Cached a]

Eq a => Eq (Cached a)

Defined in NewtypeZoo.Cached

Methods

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

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

Floating a => Floating (Cached a)

Defined in NewtypeZoo.Cached

Methods

pi :: Cached a

exp :: Cached a -> Cached a

log :: Cached a -> Cached a

sqrt :: Cached a -> Cached a

(**) :: Cached a -> Cached a -> Cached a

logBase :: Cached a -> Cached a -> Cached a

sin :: Cached a -> Cached a

cos :: Cached a -> Cached a

tan :: Cached a -> Cached a

asin :: Cached a -> Cached a

acos :: Cached a -> Cached a

atan :: Cached a -> Cached a

sinh :: Cached a -> Cached a

cosh :: Cached a -> Cached a

tanh :: Cached a -> Cached a

asinh :: Cached a -> Cached a

acosh :: Cached a -> Cached a

atanh :: Cached a -> Cached a

log1p :: Cached a -> Cached a

expm1 :: Cached a -> Cached a

log1pexp :: Cached a -> Cached a

log1mexp :: Cached a -> Cached a

Fractional a => Fractional (Cached a)

Defined in NewtypeZoo.Cached

Methods

(/) :: Cached a -> Cached a -> Cached a

recip :: Cached a -> Cached a

fromRational :: Rational -> Cached a

Integral a => Integral (Cached a)

Defined in NewtypeZoo.Cached

Methods

quot :: Cached a -> Cached a -> Cached a

rem :: Cached a -> Cached a -> Cached a

div :: Cached a -> Cached a -> Cached a

mod :: Cached a -> Cached a -> Cached a

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

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

toInteger :: Cached a -> Integer

Num a => Num (Cached a)

Defined in NewtypeZoo.Cached

Methods

(+) :: Cached a -> Cached a -> Cached a

(-) :: Cached a -> Cached a -> Cached a

(*) :: Cached a -> Cached a -> Cached a

negate :: Cached a -> Cached a

abs :: Cached a -> Cached a

signum :: Cached a -> Cached a

fromInteger :: Integer -> Cached a

Ord a => Ord (Cached a)

Defined in NewtypeZoo.Cached

Methods

compare :: Cached a -> Cached a -> Ordering

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

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

(>) :: Cached a -> Cached a -> Bool

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

max :: Cached a -> Cached a -> Cached a

min :: Cached a -> Cached a -> Cached a

Read a => Read (Cached a)

Defined in NewtypeZoo.Cached

Methods

readsPrec :: Int -> ReadS (Cached a)

readList :: ReadS [Cached a]

readPrec :: ReadPrec (Cached a)

readListPrec :: ReadPrec [Cached a]

Real a => Real (Cached a)

Defined in NewtypeZoo.Cached

Methods

toRational :: Cached a -> Rational

RealFloat a => RealFloat (Cached a)

Defined in NewtypeZoo.Cached

Methods

floatRadix :: Cached a -> Integer

floatDigits :: Cached a -> Int

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

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

encodeFloat :: Integer -> Int -> Cached a

exponent :: Cached a -> Int

significand :: Cached a -> Cached a

scaleFloat :: Int -> Cached a -> Cached a

isNaN :: Cached a -> Bool

isInfinite :: Cached a -> Bool

isDenormalized :: Cached a -> Bool

isNegativeZero :: Cached a -> Bool

isIEEE :: Cached a -> Bool

atan2 :: Cached a -> Cached a -> Cached a

RealFrac a => RealFrac (Cached a)

Defined in NewtypeZoo.Cached

Methods

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

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

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

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

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

Show a => Show (Cached a)

Defined in NewtypeZoo.Cached

Methods

showsPrec :: Int -> Cached a -> ShowS

show :: Cached a -> String

showList :: [Cached a] -> ShowS

Ix a => Ix (Cached a)

Defined in NewtypeZoo.Cached

Methods

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

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

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

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

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

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

IsString a => IsString (Cached a)

Defined in NewtypeZoo.Cached

Methods

fromString :: String -> Cached a

Generic (Cached a)

Defined in NewtypeZoo.Cached

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Cached a)

Defined in NewtypeZoo.Cached

Methods

(<>) :: Cached a -> Cached a -> Cached a

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

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

Monoid a => Monoid (Cached a)

Defined in NewtypeZoo.Cached

Methods

mempty :: Cached a

mappend :: Cached a -> Cached a -> Cached a

mconcat :: [Cached a] -> Cached a

Arbitrary a => Arbitrary (Cached a)

Defined in NewtypeZoo.Cached

Methods

arbitrary :: Gen (Cached a)

shrink :: Cached a -> [Cached a]

Bits a => Bits (Cached a)

Defined in NewtypeZoo.Cached

Methods

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

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

xor :: Cached a -> Cached a -> Cached a

complement :: Cached a -> Cached a

shift :: Cached a -> Int -> Cached a

rotate :: Cached a -> Int -> Cached a

zeroBits :: Cached a

bit :: Int -> Cached a

setBit :: Cached a -> Int -> Cached a

clearBit :: Cached a -> Int -> Cached a

complementBit :: Cached a -> Int -> Cached a

testBit :: Cached a -> Int -> Bool

bitSizeMaybe :: Cached a -> Maybe Int

bitSize :: Cached a -> Int

isSigned :: Cached a -> Bool

shiftL :: Cached a -> Int -> Cached a

unsafeShiftL :: Cached a -> Int -> Cached a

shiftR :: Cached a -> Int -> Cached a

unsafeShiftR :: Cached a -> Int -> Cached a

rotateL :: Cached a -> Int -> Cached a

rotateR :: Cached a -> Int -> Cached a

popCount :: Cached a -> Int

FiniteBits a => FiniteBits (Cached a)

Defined in NewtypeZoo.Cached

Methods

finiteBitSize :: Cached a -> Int

countLeadingZeros :: Cached a -> Int

countTrailingZeros :: Cached a -> Int

Default a => Default (Cached a)

Defined in NewtypeZoo.Cached

Methods

def :: Cached a

NFData a => NFData (Cached a)

Defined in NewtypeZoo.Cached

Methods

rnf :: Cached a -> ()

Random a => Random (Cached a)

Defined in NewtypeZoo.Cached

Methods

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

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

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

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

Generic1 Cached

Defined in NewtypeZoo.Cached

Associated Types

type Rep1 Cached :: k -> Type

Methods

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

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

type Rep (Cached a)

Defined in NewtypeZoo.Cached

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

type Rep1 Cached

Defined in NewtypeZoo.Cached

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

_theCached :: Cached x -> x

theCached :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Cached a) (f (Cached b))