NewtypeZoo.Available

Indicate that something is Available.

Documentation

newtype Available a

A wrapper for something that is Available.

Constructors

Available a

Instances

Monad Available

Defined in NewtypeZoo.Available

Methods

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

(>>) :: Available a -> Available b -> Available b

return :: a -> Available a

Functor Available

Defined in NewtypeZoo.Available

Methods

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

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

MonadFix Available

Defined in NewtypeZoo.Available

Methods

mfix :: (a -> Available a) -> Available a

Applicative Available

Defined in NewtypeZoo.Available

Methods

pure :: a -> Available a

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

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

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

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

Foldable Available

Defined in NewtypeZoo.Available

Methods

fold :: Monoid m => Available m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Available a -> a

foldl1 :: (a -> a -> a) -> Available a -> a

toList :: Available a -> [a]

null :: Available a -> Bool

length :: Available a -> Int

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

maximum :: Ord a => Available a -> a

minimum :: Ord a => Available a -> a

sum :: Num a => Available a -> a

product :: Num a => Available a -> a

Traversable Available

Defined in NewtypeZoo.Available

Methods

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

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

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

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

Eq1 Available

Defined in NewtypeZoo.Available

Methods

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

Ord1 Available

Defined in NewtypeZoo.Available

Methods

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

Read1 Available

Defined in NewtypeZoo.Available

Methods

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

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

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

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

Show1 Available

Defined in NewtypeZoo.Available

Methods

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

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

MonadZip Available

Defined in NewtypeZoo.Available

Methods

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

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

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

Comonad Available

Defined in NewtypeZoo.Available

Methods

extract :: Available a -> a

duplicate :: Available a -> Available (Available a)

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

Pointed Available

Defined in NewtypeZoo.Available

Methods

point :: a -> Available a

Copointed Available

Defined in NewtypeZoo.Available

Methods

copoint :: Available a -> a

Bounded a => Bounded (Available a)

Defined in NewtypeZoo.Available

Methods

minBound :: Available a

maxBound :: Available a

Enum a => Enum (Available a)

Defined in NewtypeZoo.Available

Methods

succ :: Available a -> Available a

pred :: Available a -> Available a

toEnum :: Int -> Available a

fromEnum :: Available a -> Int

enumFrom :: Available a -> [Available a]

enumFromThen :: Available a -> Available a -> [Available a]

enumFromTo :: Available a -> Available a -> [Available a]

enumFromThenTo :: Available a -> Available a -> Available a -> [Available a]

Eq a => Eq (Available a)

Defined in NewtypeZoo.Available

Methods

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

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

Floating a => Floating (Available a)

Defined in NewtypeZoo.Available

Methods

pi :: Available a

exp :: Available a -> Available a

log :: Available a -> Available a

sqrt :: Available a -> Available a

(**) :: Available a -> Available a -> Available a

logBase :: Available a -> Available a -> Available a

sin :: Available a -> Available a

cos :: Available a -> Available a

tan :: Available a -> Available a

asin :: Available a -> Available a

acos :: Available a -> Available a

atan :: Available a -> Available a

sinh :: Available a -> Available a

cosh :: Available a -> Available a

tanh :: Available a -> Available a

asinh :: Available a -> Available a

acosh :: Available a -> Available a

atanh :: Available a -> Available a

log1p :: Available a -> Available a

expm1 :: Available a -> Available a

log1pexp :: Available a -> Available a

log1mexp :: Available a -> Available a

Fractional a => Fractional (Available a)

Defined in NewtypeZoo.Available

Methods

(/) :: Available a -> Available a -> Available a

recip :: Available a -> Available a

fromRational :: Rational -> Available a

Integral a => Integral (Available a)

Defined in NewtypeZoo.Available

Methods

quot :: Available a -> Available a -> Available a

rem :: Available a -> Available a -> Available a

div :: Available a -> Available a -> Available a

mod :: Available a -> Available a -> Available a

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

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

toInteger :: Available a -> Integer

Num a => Num (Available a)

Defined in NewtypeZoo.Available

Methods

(+) :: Available a -> Available a -> Available a

(-) :: Available a -> Available a -> Available a

(*) :: Available a -> Available a -> Available a

negate :: Available a -> Available a

abs :: Available a -> Available a

signum :: Available a -> Available a

fromInteger :: Integer -> Available a

Ord a => Ord (Available a)

Defined in NewtypeZoo.Available

Methods

compare :: Available a -> Available a -> Ordering

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

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

(>) :: Available a -> Available a -> Bool

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

max :: Available a -> Available a -> Available a

min :: Available a -> Available a -> Available a

Read a => Read (Available a)

Defined in NewtypeZoo.Available

Methods

readsPrec :: Int -> ReadS (Available a)

readList :: ReadS [Available a]

readPrec :: ReadPrec (Available a)

readListPrec :: ReadPrec [Available a]

Real a => Real (Available a)

Defined in NewtypeZoo.Available

Methods

toRational :: Available a -> Rational

RealFloat a => RealFloat (Available a)

Defined in NewtypeZoo.Available

Methods

floatRadix :: Available a -> Integer

floatDigits :: Available a -> Int

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

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

encodeFloat :: Integer -> Int -> Available a

exponent :: Available a -> Int

significand :: Available a -> Available a

scaleFloat :: Int -> Available a -> Available a

isNaN :: Available a -> Bool

isInfinite :: Available a -> Bool

isDenormalized :: Available a -> Bool

isNegativeZero :: Available a -> Bool

isIEEE :: Available a -> Bool

atan2 :: Available a -> Available a -> Available a

RealFrac a => RealFrac (Available a)

Defined in NewtypeZoo.Available

Methods

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

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

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

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

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

Show a => Show (Available a)

Defined in NewtypeZoo.Available

Methods

showsPrec :: Int -> Available a -> ShowS

show :: Available a -> String

showList :: [Available a] -> ShowS

Ix a => Ix (Available a)

Defined in NewtypeZoo.Available

Methods

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

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

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

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

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

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

IsString a => IsString (Available a)

Defined in NewtypeZoo.Available

Methods

fromString :: String -> Available a

Generic (Available a)

Defined in NewtypeZoo.Available

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Available a)

Defined in NewtypeZoo.Available

Methods

(<>) :: Available a -> Available a -> Available a

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

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

Monoid a => Monoid (Available a)

Defined in NewtypeZoo.Available

Methods

mempty :: Available a

mappend :: Available a -> Available a -> Available a

mconcat :: [Available a] -> Available a

Arbitrary a => Arbitrary (Available a)

Defined in NewtypeZoo.Available

Methods

arbitrary :: Gen (Available a)

shrink :: Available a -> [Available a]

Bits a => Bits (Available a)

Defined in NewtypeZoo.Available

Methods

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

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

xor :: Available a -> Available a -> Available a

complement :: Available a -> Available a

shift :: Available a -> Int -> Available a

rotate :: Available a -> Int -> Available a

zeroBits :: Available a

bit :: Int -> Available a

setBit :: Available a -> Int -> Available a

clearBit :: Available a -> Int -> Available a

complementBit :: Available a -> Int -> Available a

testBit :: Available a -> Int -> Bool

bitSizeMaybe :: Available a -> Maybe Int

bitSize :: Available a -> Int

isSigned :: Available a -> Bool

shiftL :: Available a -> Int -> Available a

unsafeShiftL :: Available a -> Int -> Available a

shiftR :: Available a -> Int -> Available a

unsafeShiftR :: Available a -> Int -> Available a

rotateL :: Available a -> Int -> Available a

rotateR :: Available a -> Int -> Available a

popCount :: Available a -> Int

FiniteBits a => FiniteBits (Available a)

Defined in NewtypeZoo.Available

Methods

finiteBitSize :: Available a -> Int

countLeadingZeros :: Available a -> Int

countTrailingZeros :: Available a -> Int

Default a => Default (Available a)

Defined in NewtypeZoo.Available

Methods

def :: Available a

NFData a => NFData (Available a)

Defined in NewtypeZoo.Available

Methods

rnf :: Available a -> ()

Random a => Random (Available a)

Defined in NewtypeZoo.Available

Methods

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

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

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

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

Generic1 Available

Defined in NewtypeZoo.Available

Associated Types

type Rep1 Available :: k -> Type

Methods

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

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

type Rep (Available a)

Defined in NewtypeZoo.Available

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

type Rep1 Available

Defined in NewtypeZoo.Available

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

_theAvailable :: Available x -> x

An accessor function for something Available.

theAvailable :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Available a) (f (Available b))

A lens for something Available.

newtype AvailableIn ctx a

A wrapper for something that is AvailableIn with respect to some context indicated by a (phantom-) type.

Constructors

AvailableIn a

Instances

Monad (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

(>>=) :: AvailableIn ctx a -> (a -> AvailableIn ctx b) -> AvailableIn ctx b

(>>) :: AvailableIn ctx a -> AvailableIn ctx b -> AvailableIn ctx b

return :: a -> AvailableIn ctx a

Functor (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

fmap :: (a -> b) -> AvailableIn ctx a -> AvailableIn ctx b

(<$) :: a -> AvailableIn ctx b -> AvailableIn ctx a

MonadFix (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

mfix :: (a -> AvailableIn ctx a) -> AvailableIn ctx a

Applicative (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

pure :: a -> AvailableIn ctx a

(<*>) :: AvailableIn ctx (a -> b) -> AvailableIn ctx a -> AvailableIn ctx b

liftA2 :: (a -> b -> c) -> AvailableIn ctx a -> AvailableIn ctx b -> AvailableIn ctx c

(*>) :: AvailableIn ctx a -> AvailableIn ctx b -> AvailableIn ctx b

(<*) :: AvailableIn ctx a -> AvailableIn ctx b -> AvailableIn ctx a

Foldable (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

fold :: Monoid m => AvailableIn ctx m -> m

foldMap :: Monoid m => (a -> m) -> AvailableIn ctx a -> m

foldMap' :: Monoid m => (a -> m) -> AvailableIn ctx a -> m

foldr :: (a -> b -> b) -> b -> AvailableIn ctx a -> b

foldr' :: (a -> b -> b) -> b -> AvailableIn ctx a -> b

foldl :: (b -> a -> b) -> b -> AvailableIn ctx a -> b

foldl' :: (b -> a -> b) -> b -> AvailableIn ctx a -> b

foldr1 :: (a -> a -> a) -> AvailableIn ctx a -> a

foldl1 :: (a -> a -> a) -> AvailableIn ctx a -> a

toList :: AvailableIn ctx a -> [a]

null :: AvailableIn ctx a -> Bool

length :: AvailableIn ctx a -> Int

elem :: Eq a => a -> AvailableIn ctx a -> Bool

maximum :: Ord a => AvailableIn ctx a -> a

minimum :: Ord a => AvailableIn ctx a -> a

sum :: Num a => AvailableIn ctx a -> a

product :: Num a => AvailableIn ctx a -> a

Traversable (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

traverse :: Applicative f => (a -> f b) -> AvailableIn ctx a -> f (AvailableIn ctx b)

sequenceA :: Applicative f => AvailableIn ctx (f a) -> f (AvailableIn ctx a)

mapM :: Monad m => (a -> m b) -> AvailableIn ctx a -> m (AvailableIn ctx b)

sequence :: Monad m => AvailableIn ctx (m a) -> m (AvailableIn ctx a)

Eq1 (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

liftEq :: (a -> b -> Bool) -> AvailableIn ctx a -> AvailableIn ctx b -> Bool

Ord1 (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

liftCompare :: (a -> b -> Ordering) -> AvailableIn ctx a -> AvailableIn ctx b -> Ordering

Read1 (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (AvailableIn ctx a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [AvailableIn ctx a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (AvailableIn ctx a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [AvailableIn ctx a]

Show1 (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> AvailableIn ctx a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [AvailableIn ctx a] -> ShowS

MonadZip (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

mzip :: AvailableIn ctx a -> AvailableIn ctx b -> AvailableIn ctx (a, b)

mzipWith :: (a -> b -> c) -> AvailableIn ctx a -> AvailableIn ctx b -> AvailableIn ctx c

munzip :: AvailableIn ctx (a, b) -> (AvailableIn ctx a, AvailableIn ctx b)

Comonad (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

extract :: AvailableIn ctx a -> a

duplicate :: AvailableIn ctx a -> AvailableIn ctx (AvailableIn ctx a)

extend :: (AvailableIn ctx a -> b) -> AvailableIn ctx a -> AvailableIn ctx b

Pointed (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

point :: a -> AvailableIn ctx a

Copointed (AvailableIn ctx)

Defined in NewtypeZoo.Available

Methods

copoint :: AvailableIn ctx a -> a

Generic1 (AvailableIn ctx :: Type -> Type)

Defined in NewtypeZoo.Available

Associated Types

type Rep1 (AvailableIn ctx) :: k -> Type

Methods

from1 :: forall (a :: k). AvailableIn ctx a -> Rep1 (AvailableIn ctx) a

to1 :: forall (a :: k). Rep1 (AvailableIn ctx) a -> AvailableIn ctx a

Bounded a => Bounded (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

minBound :: AvailableIn ctx a

maxBound :: AvailableIn ctx a

Enum a => Enum (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

succ :: AvailableIn ctx a -> AvailableIn ctx a

pred :: AvailableIn ctx a -> AvailableIn ctx a

toEnum :: Int -> AvailableIn ctx a

fromEnum :: AvailableIn ctx a -> Int

enumFrom :: AvailableIn ctx a -> [AvailableIn ctx a]

enumFromThen :: AvailableIn ctx a -> AvailableIn ctx a -> [AvailableIn ctx a]

enumFromTo :: AvailableIn ctx a -> AvailableIn ctx a -> [AvailableIn ctx a]

enumFromThenTo :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a -> [AvailableIn ctx a]

Eq a => Eq (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

(==) :: AvailableIn ctx a -> AvailableIn ctx a -> Bool

(/=) :: AvailableIn ctx a -> AvailableIn ctx a -> Bool

Floating a => Floating (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

pi :: AvailableIn ctx a

exp :: AvailableIn ctx a -> AvailableIn ctx a

log :: AvailableIn ctx a -> AvailableIn ctx a

sqrt :: AvailableIn ctx a -> AvailableIn ctx a

(**) :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

logBase :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

sin :: AvailableIn ctx a -> AvailableIn ctx a

cos :: AvailableIn ctx a -> AvailableIn ctx a

tan :: AvailableIn ctx a -> AvailableIn ctx a

asin :: AvailableIn ctx a -> AvailableIn ctx a

acos :: AvailableIn ctx a -> AvailableIn ctx a

atan :: AvailableIn ctx a -> AvailableIn ctx a

sinh :: AvailableIn ctx a -> AvailableIn ctx a

cosh :: AvailableIn ctx a -> AvailableIn ctx a

tanh :: AvailableIn ctx a -> AvailableIn ctx a

asinh :: AvailableIn ctx a -> AvailableIn ctx a

acosh :: AvailableIn ctx a -> AvailableIn ctx a

atanh :: AvailableIn ctx a -> AvailableIn ctx a

log1p :: AvailableIn ctx a -> AvailableIn ctx a

expm1 :: AvailableIn ctx a -> AvailableIn ctx a

log1pexp :: AvailableIn ctx a -> AvailableIn ctx a

log1mexp :: AvailableIn ctx a -> AvailableIn ctx a

Fractional a => Fractional (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

(/) :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

recip :: AvailableIn ctx a -> AvailableIn ctx a

fromRational :: Rational -> AvailableIn ctx a

Integral a => Integral (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

quot :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

rem :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

div :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

mod :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

quotRem :: AvailableIn ctx a -> AvailableIn ctx a -> (AvailableIn ctx a, AvailableIn ctx a)

divMod :: AvailableIn ctx a -> AvailableIn ctx a -> (AvailableIn ctx a, AvailableIn ctx a)

toInteger :: AvailableIn ctx a -> Integer

Num a => Num (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

(+) :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

(-) :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

(*) :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

negate :: AvailableIn ctx a -> AvailableIn ctx a

abs :: AvailableIn ctx a -> AvailableIn ctx a

signum :: AvailableIn ctx a -> AvailableIn ctx a

fromInteger :: Integer -> AvailableIn ctx a

Ord a => Ord (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

compare :: AvailableIn ctx a -> AvailableIn ctx a -> Ordering

(<) :: AvailableIn ctx a -> AvailableIn ctx a -> Bool

(<=) :: AvailableIn ctx a -> AvailableIn ctx a -> Bool

(>) :: AvailableIn ctx a -> AvailableIn ctx a -> Bool

(>=) :: AvailableIn ctx a -> AvailableIn ctx a -> Bool

max :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

min :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

Read a => Read (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

readsPrec :: Int -> ReadS (AvailableIn ctx a)

readList :: ReadS [AvailableIn ctx a]

readPrec :: ReadPrec (AvailableIn ctx a)

readListPrec :: ReadPrec [AvailableIn ctx a]

Real a => Real (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

toRational :: AvailableIn ctx a -> Rational

RealFloat a => RealFloat (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

floatRadix :: AvailableIn ctx a -> Integer

floatDigits :: AvailableIn ctx a -> Int

floatRange :: AvailableIn ctx a -> (Int, Int)

decodeFloat :: AvailableIn ctx a -> (Integer, Int)

encodeFloat :: Integer -> Int -> AvailableIn ctx a

exponent :: AvailableIn ctx a -> Int

significand :: AvailableIn ctx a -> AvailableIn ctx a

scaleFloat :: Int -> AvailableIn ctx a -> AvailableIn ctx a

isNaN :: AvailableIn ctx a -> Bool

isInfinite :: AvailableIn ctx a -> Bool

isDenormalized :: AvailableIn ctx a -> Bool

isNegativeZero :: AvailableIn ctx a -> Bool

isIEEE :: AvailableIn ctx a -> Bool

atan2 :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

RealFrac a => RealFrac (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

properFraction :: Integral b => AvailableIn ctx a -> (b, AvailableIn ctx a)

truncate :: Integral b => AvailableIn ctx a -> b

round :: Integral b => AvailableIn ctx a -> b

ceiling :: Integral b => AvailableIn ctx a -> b

floor :: Integral b => AvailableIn ctx a -> b

Show a => Show (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

showsPrec :: Int -> AvailableIn ctx a -> ShowS

show :: AvailableIn ctx a -> String

showList :: [AvailableIn ctx a] -> ShowS

Ix a => Ix (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

range :: (AvailableIn ctx a, AvailableIn ctx a) -> [AvailableIn ctx a]

index :: (AvailableIn ctx a, AvailableIn ctx a) -> AvailableIn ctx a -> Int

unsafeIndex :: (AvailableIn ctx a, AvailableIn ctx a) -> AvailableIn ctx a -> Int

inRange :: (AvailableIn ctx a, AvailableIn ctx a) -> AvailableIn ctx a -> Bool

rangeSize :: (AvailableIn ctx a, AvailableIn ctx a) -> Int

unsafeRangeSize :: (AvailableIn ctx a, AvailableIn ctx a) -> Int

IsString a => IsString (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

fromString :: String -> AvailableIn ctx a

Generic (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Associated Types

type Rep (AvailableIn ctx a) :: Type -> Type

Methods

from :: AvailableIn ctx a -> Rep (AvailableIn ctx a) x

to :: Rep (AvailableIn ctx a) x -> AvailableIn ctx a

Semigroup a => Semigroup (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

(<>) :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

sconcat :: NonEmpty (AvailableIn ctx a) -> AvailableIn ctx a

stimes :: Integral b => b -> AvailableIn ctx a -> AvailableIn ctx a

Monoid a => Monoid (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

mempty :: AvailableIn ctx a

mappend :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

mconcat :: [AvailableIn ctx a] -> AvailableIn ctx a

Arbitrary a => Arbitrary (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

arbitrary :: Gen (AvailableIn ctx a)

shrink :: AvailableIn ctx a -> [AvailableIn ctx a]

Bits a => Bits (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

(.&.) :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

(.|.) :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

xor :: AvailableIn ctx a -> AvailableIn ctx a -> AvailableIn ctx a

complement :: AvailableIn ctx a -> AvailableIn ctx a

shift :: AvailableIn ctx a -> Int -> AvailableIn ctx a

rotate :: AvailableIn ctx a -> Int -> AvailableIn ctx a

zeroBits :: AvailableIn ctx a

bit :: Int -> AvailableIn ctx a

setBit :: AvailableIn ctx a -> Int -> AvailableIn ctx a

clearBit :: AvailableIn ctx a -> Int -> AvailableIn ctx a

complementBit :: AvailableIn ctx a -> Int -> AvailableIn ctx a

testBit :: AvailableIn ctx a -> Int -> Bool

bitSizeMaybe :: AvailableIn ctx a -> Maybe Int

bitSize :: AvailableIn ctx a -> Int

isSigned :: AvailableIn ctx a -> Bool

shiftL :: AvailableIn ctx a -> Int -> AvailableIn ctx a

unsafeShiftL :: AvailableIn ctx a -> Int -> AvailableIn ctx a

shiftR :: AvailableIn ctx a -> Int -> AvailableIn ctx a

unsafeShiftR :: AvailableIn ctx a -> Int -> AvailableIn ctx a

rotateL :: AvailableIn ctx a -> Int -> AvailableIn ctx a

rotateR :: AvailableIn ctx a -> Int -> AvailableIn ctx a

popCount :: AvailableIn ctx a -> Int

FiniteBits a => FiniteBits (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

finiteBitSize :: AvailableIn ctx a -> Int

countLeadingZeros :: AvailableIn ctx a -> Int

countTrailingZeros :: AvailableIn ctx a -> Int

Default a => Default (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

def :: AvailableIn ctx a

NFData a => NFData (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

rnf :: AvailableIn ctx a -> ()

Random a => Random (AvailableIn ctx a)

Defined in NewtypeZoo.Available

Methods

randomR :: RandomGen g => (AvailableIn ctx a, AvailableIn ctx a) -> g -> (AvailableIn ctx a, g)

random :: RandomGen g => g -> (AvailableIn ctx a, g)

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

randoms :: RandomGen g => g -> [AvailableIn ctx a]

type Rep1 (AvailableIn ctx :: Type -> Type)

Defined in NewtypeZoo.Available

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

type Rep (AvailableIn ctx a)

Defined in NewtypeZoo.Available

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

_theAvailableIn :: AvailableIn ctx x -> x

An accessor function for something AvailableIn.

theAvailableIn :: forall ctx a b p f. (Profunctor p, Functor f) => p a (f b) -> p (AvailableIn ctx a) (f (AvailableIn ctx b))

A lens for something AvailableIn.