Safe Haskell	None
Language	Haskell2010

NewtypeZoo.Available

Description

Indicate that something is Available.

Synopsis

newtype Available a = Available a
_theAvailable :: Available x -> x
theAvailable :: forall a b p f. (Profunctor p, Functor f) => p a (f b) -> p (Available a) (f (Available b))
newtype AvailableIn ctx a = AvailableIn a
_theAvailableIn :: AvailableIn ctx x -> x
theAvailableIn :: forall ctx a b p f. (Profunctor p, Functor f) => p a (f b) -> p (AvailableIn ctx a) (f (AvailableIn ctx b))

Documentation

newtype Available a Source #

A wrapper for something that is Available.

Constructors

Available a

Instances

Instances details

Monad Available Source #
Instance details Defined in NewtypeZoo.Available Methods (>>=) :: Available a -> (a -> Available b) -> Available b # (>>) :: Available a -> Available b -> Available b # return :: a -> Available a #
Functor Available Source #
Instance details Defined in NewtypeZoo.Available Methods fmap :: (a -> b) -> Available a -> Available b # (<$) :: a -> Available b -> Available a #
MonadFix Available Source #
Instance details Defined in NewtypeZoo.Available Methods mfix :: (a -> Available a) -> Available a #
Applicative Available Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in NewtypeZoo.Available Methods liftEq :: (a -> b -> Bool) -> Available a -> Available b -> Bool #
Ord1 Available Source #
Instance details Defined in NewtypeZoo.Available Methods liftCompare :: (a -> b -> Ordering) -> Available a -> Available b -> Ordering #
Read1 Available Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in NewtypeZoo.Available Methods point :: a -> Available a #
Copointed Available Source #
Instance details Defined in NewtypeZoo.Available Methods copoint :: Available a -> a #
Bounded a => Bounded (Available a) Source #
Instance details Defined in NewtypeZoo.Available Methods minBound :: Available a # maxBound :: Available a #
Enum a => Enum (Available a) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods (==) :: Available a -> Available a -> Bool # (/=) :: Available a -> Available a -> Bool #
Floating a => Floating (Available a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods toRational :: Available a -> Rational #
RealFloat a => RealFloat (Available a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods showsPrec :: Int -> Available a -> ShowS # show :: Available a -> String # showList :: [Available a] -> ShowS #
Ix a => Ix (Available a) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods fromString :: String -> Available a #
Generic (Available a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods arbitrary :: Gen (Available a) # shrink :: Available a -> [Available a] #
Bits a => Bits (Available a) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods finiteBitSize :: Available a -> Int # countLeadingZeros :: Available a -> Int # countTrailingZeros :: Available a -> Int #
Default a => Default (Available a) Source #
Instance details Defined in NewtypeZoo.Available Methods def :: Available a #
NFData a => NFData (Available a) Source #
Instance details Defined in NewtypeZoo.Available Methods rnf :: Available a -> () #
Random a => Random (Available a) Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details 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 Source #

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)) Source #

A lens for something Available.

newtype AvailableIn ctx a Source #

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

Constructors

AvailableIn a

Instances

Instances details

Monad (AvailableIn ctx) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods fmap :: (a -> b) -> AvailableIn ctx a -> AvailableIn ctx b # (<$) :: a -> AvailableIn ctx b -> AvailableIn ctx a #
MonadFix (AvailableIn ctx) Source #
Instance details Defined in NewtypeZoo.Available Methods mfix :: (a -> AvailableIn ctx a) -> AvailableIn ctx a #
Applicative (AvailableIn ctx) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods liftEq :: (a -> b -> Bool) -> AvailableIn ctx a -> AvailableIn ctx b -> Bool #
Ord1 (AvailableIn ctx) Source #
Instance details Defined in NewtypeZoo.Available Methods liftCompare :: (a -> b -> Ordering) -> AvailableIn ctx a -> AvailableIn ctx b -> Ordering #
Read1 (AvailableIn ctx) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods point :: a -> AvailableIn ctx a #
Copointed (AvailableIn ctx) Source #
Instance details Defined in NewtypeZoo.Available Methods copoint :: AvailableIn ctx a -> a #
Generic1 (AvailableIn ctx :: Type -> Type) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods minBound :: AvailableIn ctx a # maxBound :: AvailableIn ctx a #
Enum a => Enum (AvailableIn ctx a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods toRational :: AvailableIn ctx a -> Rational #
RealFloat a => RealFloat (AvailableIn ctx a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods fromString :: String -> AvailableIn ctx a #
Generic (AvailableIn ctx a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods arbitrary :: Gen (AvailableIn ctx a) # shrink :: AvailableIn ctx a -> [AvailableIn ctx a] #
Bits a => Bits (AvailableIn ctx a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in NewtypeZoo.Available Methods def :: AvailableIn ctx a #
NFData a => NFData (AvailableIn ctx a) Source #
Instance details Defined in NewtypeZoo.Available Methods rnf :: AvailableIn ctx a -> () #
Random a => Random (AvailableIn ctx a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

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)) Source #

A lens for something AvailableIn.