Safe Haskell	Safe-Inferred
Language	Haskell2010

Engine.Vulkan.DescSets

Synopsis

class HasDescSet tag a where
- getDescSet :: a -> Tagged tag DescriptorSet
newtype Bound (dsl :: [Type]) vertices instances m a = Bound (m a)
withBoundDescriptorSets0 :: MonadIO m => CommandBuffer -> PipelineBindPoint -> Tagged dsl PipelineLayout -> Tagged dsl (Vector DescriptorSet) -> Bound dsl Void Void m b -> m b
type Compatible (smaller :: [Type]) (larger :: [Type]) = Compatible' smaller larger smaller larger
type family Extend (xs :: [Type]) y :: [Type] where ...
extendDS :: Tagged (as :: [Type]) (Vector DescriptorSet) -> Tagged b DescriptorSet -> Tagged (Extend as b) (Vector DescriptorSet)
newtype Tagged (s :: k) b = Tagged {
- unTagged :: b
}

Documentation

class HasDescSet tag a where Source #

Methods

getDescSet :: a -> Tagged tag DescriptorSet Source #

Instances

Instances details

HasDescSet tag rr => HasDescSet tag (RecycledResources rr) Source #
Instance details Defined in Engine.Vulkan.DescSets Methods getDescSet :: RecycledResources rr -> Tagged tag DescriptorSet Source #
HasDescSet tag rr => HasDescSet tag (env, Frame rp p rr) Source #
Instance details Defined in Engine.Vulkan.DescSets Methods getDescSet :: (env, Frame rp p rr) -> Tagged tag DescriptorSet Source #
HasDescSet tag rr => HasDescSet tag (Frame rp p rr) Source #
Instance details Defined in Engine.Vulkan.DescSets Methods getDescSet :: Frame rp p rr -> Tagged tag DescriptorSet Source #

newtype Bound (dsl :: [Type]) vertices instances m a Source #

Constructors

Bound (m a)

Instances

Instances details

MonadReader r m => MonadReader r (Bound dsl vertices instances m) Source #
Instance details Defined in Engine.Vulkan.Types Methods ask :: Bound dsl vertices instances m r Source # local :: (r -> r) -> Bound dsl vertices instances m a -> Bound dsl vertices instances m a Source # reader :: (r -> a) -> Bound dsl vertices instances m a Source #
MonadState s m => MonadState s (Bound dsl vertices instances m) Source #
Instance details Defined in Engine.Vulkan.Types Methods get :: Bound dsl vertices instances m s Source # put :: s -> Bound dsl vertices instances m () Source # state :: (s -> (a, s)) -> Bound dsl vertices instances m a Source #
MonadIO m => MonadIO (Bound dsl vertices instances m) Source #
Instance details Defined in Engine.Vulkan.Types Methods liftIO :: IO a -> Bound dsl vertices instances m a Source #
Foldable m => Foldable (Bound dsl vertices instances m) Source #
Instance details Defined in Engine.Vulkan.Types Methods fold :: Monoid m0 => Bound dsl vertices instances m m0 -> m0 Source # foldMap :: Monoid m0 => (a -> m0) -> Bound dsl vertices instances m a -> m0 Source # foldMap' :: Monoid m0 => (a -> m0) -> Bound dsl vertices instances m a -> m0 Source # foldr :: (a -> b -> b) -> b -> Bound dsl vertices instances m a -> b Source # foldr' :: (a -> b -> b) -> b -> Bound dsl vertices instances m a -> b Source # foldl :: (b -> a -> b) -> b -> Bound dsl vertices instances m a -> b Source # foldl' :: (b -> a -> b) -> b -> Bound dsl vertices instances m a -> b Source # foldr1 :: (a -> a -> a) -> Bound dsl vertices instances m a -> a Source # foldl1 :: (a -> a -> a) -> Bound dsl vertices instances m a -> a Source # toList :: Bound dsl vertices instances m a -> [a] Source # null :: Bound dsl vertices instances m a -> Bool Source # length :: Bound dsl vertices instances m a -> Int Source # elem :: Eq a => a -> Bound dsl vertices instances m a -> Bool Source # maximum :: Ord a => Bound dsl vertices instances m a -> a Source # minimum :: Ord a => Bound dsl vertices instances m a -> a Source # sum :: Num a => Bound dsl vertices instances m a -> a Source # product :: Num a => Bound dsl vertices instances m a -> a Source #
Traversable m => Traversable (Bound dsl vertices instances m) Source #
Instance details Defined in Engine.Vulkan.Types Methods traverse :: Applicative f => (a -> f b) -> Bound dsl vertices instances m a -> f (Bound dsl vertices instances m b) Source # sequenceA :: Applicative f => Bound dsl vertices instances m (f a) -> f (Bound dsl vertices instances m a) Source # mapM :: Monad m0 => (a -> m0 b) -> Bound dsl vertices instances m a -> m0 (Bound dsl vertices instances m b) Source # sequence :: Monad m0 => Bound dsl vertices instances m (m0 a) -> m0 (Bound dsl vertices instances m a) Source #
Applicative m => Applicative (Bound dsl vertices instances m) Source #
Instance details Defined in Engine.Vulkan.Types Methods pure :: a -> Bound dsl vertices instances m a Source # (<>) :: Bound dsl vertices instances m (a -> b) -> Bound dsl vertices instances m a -> Bound dsl vertices instances m b Source # liftA2 :: (a -> b -> c) -> Bound dsl vertices instances m a -> Bound dsl vertices instances m b -> Bound dsl vertices instances m c Source # (>) :: Bound dsl vertices instances m a -> Bound dsl vertices instances m b -> Bound dsl vertices instances m b Source # (<*) :: Bound dsl vertices instances m a -> Bound dsl vertices instances m b -> Bound dsl vertices instances m a Source #
Functor m => Functor (Bound dsl vertices instances m) Source #
Instance details Defined in Engine.Vulkan.Types Methods fmap :: (a -> b) -> Bound dsl vertices instances m a -> Bound dsl vertices instances m b Source # (<$) :: a -> Bound dsl vertices instances m b -> Bound dsl vertices instances m a Source #
Monad m => Monad (Bound dsl vertices instances m) Source #
Instance details Defined in Engine.Vulkan.Types Methods (>>=) :: Bound dsl vertices instances m a -> (a -> Bound dsl vertices instances m b) -> Bound dsl vertices instances m b Source # (>>) :: Bound dsl vertices instances m a -> Bound dsl vertices instances m b -> Bound dsl vertices instances m b Source # return :: a -> Bound dsl vertices instances m a Source #
MonadUnliftIO m => MonadUnliftIO (Bound dsl vertices instances m) Source #
Instance details Defined in Engine.Vulkan.Types Methods withRunInIO :: ((forall a. Bound dsl vertices instances m a -> IO a) -> IO b) -> Bound dsl vertices instances m b Source #

withBoundDescriptorSets0 :: MonadIO m => CommandBuffer -> PipelineBindPoint -> Tagged dsl PipelineLayout -> Tagged dsl (Vector DescriptorSet) -> Bound dsl Void Void m b -> m b Source #

type Compatible (smaller :: [Type]) (larger :: [Type]) = Compatible' smaller larger smaller larger Source #

type family Extend (xs :: [Type]) y :: [Type] where ... Source #

Equations

Extend '[] y = '[y]
Extend (x ': xs) y = x ': Extend xs y

extendDS :: Tagged (as :: [Type]) (Vector DescriptorSet) -> Tagged b DescriptorSet -> Tagged (Extend as b) (Vector DescriptorSet) Source #

newtype Tagged (s :: k) b Source #

A Tagged s b value is a value b with an attached phantom type s. This can be used in place of the more traditional but less safe idiom of passing in an undefined value with the type, because unlike an (s -> b), a Tagged s b can't try to use the argument s as a real value.

Moreover, you don't have to rely on the compiler to inline away the extra argument, because the newtype is "free"

Tagged has kind k -> * -> * if the compiler supports PolyKinds, therefore there is an extra k showing in the instance haddocks that may cause confusion.

Constructors

Tagged
Fields unTagged :: b

Instances

Instances details

Bifoldable (Tagged :: TYPE LiftedRep -> Type -> Type)
Instance details Defined in Data.Tagged Methods bifold :: Monoid m => Tagged m m -> m Source # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Tagged a b -> m Source # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Tagged a b -> c Source # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Tagged a b -> c Source #
Bifunctor (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bimap :: (a -> b) -> (c -> d) -> Tagged a c -> Tagged b d Source # first :: (a -> b) -> Tagged a c -> Tagged b c Source # second :: (b -> c) -> Tagged a b -> Tagged a c Source #
Bitraversable (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Tagged a b -> f (Tagged c d) Source #
Eq2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Tagged a c -> Tagged b d -> Bool Source #
Ord2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Tagged a c -> Tagged b d -> Ordering Source #
Read2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Tagged a b) Source # liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Tagged a b] Source # liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Tagged a b) Source # liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Tagged a b] Source #
Show2 (Tagged :: TYPE LiftedRep -> Type -> Type)
Instance details Defined in Data.Tagged Methods liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Tagged a b -> ShowS Source # liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Tagged a b] -> ShowS Source #
Generic1 (Tagged s :: Type -> Type)
Instance details Defined in Data.Tagged Associated Types type Rep1 (Tagged s) :: k -> Type Source # Methods from1 :: forall (a :: k). Tagged s a -> Rep1 (Tagged s) a Source # to1 :: forall (a :: k). Rep1 (Tagged s) a -> Tagged s a Source #
Foldable (Tagged s)
Instance details Defined in Data.Tagged Methods fold :: Monoid m => Tagged s m -> m Source # foldMap :: Monoid m => (a -> m) -> Tagged s a -> m Source # foldMap' :: Monoid m => (a -> m) -> Tagged s a -> m Source # foldr :: (a -> b -> b) -> b -> Tagged s a -> b Source # foldr' :: (a -> b -> b) -> b -> Tagged s a -> b Source # foldl :: (b -> a -> b) -> b -> Tagged s a -> b Source # foldl' :: (b -> a -> b) -> b -> Tagged s a -> b Source # foldr1 :: (a -> a -> a) -> Tagged s a -> a Source # foldl1 :: (a -> a -> a) -> Tagged s a -> a Source # toList :: Tagged s a -> [a] Source # null :: Tagged s a -> Bool Source # length :: Tagged s a -> Int Source # elem :: Eq a => a -> Tagged s a -> Bool Source # maximum :: Ord a => Tagged s a -> a Source # minimum :: Ord a => Tagged s a -> a Source # sum :: Num a => Tagged s a -> a Source # product :: Num a => Tagged s a -> a Source #
Eq1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftEq :: (a -> b -> Bool) -> Tagged s a -> Tagged s b -> Bool Source #
Ord1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftCompare :: (a -> b -> Ordering) -> Tagged s a -> Tagged s b -> Ordering Source #
Read1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Tagged s a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Tagged s a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Tagged s a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Tagged s a] Source #
Show1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Tagged s a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Tagged s a] -> ShowS Source #
Traversable (Tagged s)
Instance details Defined in Data.Tagged Methods traverse :: Applicative f => (a -> f b) -> Tagged s a -> f (Tagged s b) Source # sequenceA :: Applicative f => Tagged s (f a) -> f (Tagged s a) Source # mapM :: Monad m => (a -> m b) -> Tagged s a -> m (Tagged s b) Source # sequence :: Monad m => Tagged s (m a) -> m (Tagged s a) Source #
Applicative (Tagged s)
Instance details Defined in Data.Tagged Methods pure :: a -> Tagged s a Source # (<>) :: Tagged s (a -> b) -> Tagged s a -> Tagged s b Source # liftA2 :: (a -> b -> c) -> Tagged s a -> Tagged s b -> Tagged s c Source # (>) :: Tagged s a -> Tagged s b -> Tagged s b Source # (<*) :: Tagged s a -> Tagged s b -> Tagged s a Source #
Functor (Tagged s)
Instance details Defined in Data.Tagged Methods fmap :: (a -> b) -> Tagged s a -> Tagged s b Source # (<$) :: a -> Tagged s b -> Tagged s a Source #
Monad (Tagged s)
Instance details Defined in Data.Tagged Methods (>>=) :: Tagged s a -> (a -> Tagged s b) -> Tagged s b Source # (>>) :: Tagged s a -> Tagged s b -> Tagged s b Source # return :: a -> Tagged s a Source #
(Data s, Data b) => Data (Tagged s b)
Instance details Defined in Data.Tagged Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Tagged s b -> c (Tagged s b) Source # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Tagged s b) Source # toConstr :: Tagged s b -> Constr Source # dataTypeOf :: Tagged s b -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Tagged s b)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Tagged s b)) Source # gmapT :: (forall b0. Data b0 => b0 -> b0) -> Tagged s b -> Tagged s b Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Tagged s b -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Tagged s b -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source #
IsString a => IsString (Tagged s a)
Instance details Defined in Data.Tagged Methods fromString :: String -> Tagged s a Source #
Storable a => Storable (Tagged s a)
Instance details Defined in Data.Tagged Methods sizeOf :: Tagged s a -> Int Source # alignment :: Tagged s a -> Int Source # peekElemOff :: Ptr (Tagged s a) -> Int -> IO (Tagged s a) Source # pokeElemOff :: Ptr (Tagged s a) -> Int -> Tagged s a -> IO () Source # peekByteOff :: Ptr b -> Int -> IO (Tagged s a) Source # pokeByteOff :: Ptr b -> Int -> Tagged s a -> IO () Source # peek :: Ptr (Tagged s a) -> IO (Tagged s a) Source # poke :: Ptr (Tagged s a) -> Tagged s a -> IO () Source #
(Semigroup a, Monoid a) => Monoid (Tagged s a)
Instance details Defined in Data.Tagged Methods mempty :: Tagged s a Source # mappend :: Tagged s a -> Tagged s a -> Tagged s a Source # mconcat :: [Tagged s a] -> Tagged s a Source #
Semigroup a => Semigroup (Tagged s a)
Instance details Defined in Data.Tagged Methods (<>) :: Tagged s a -> Tagged s a -> Tagged s a Source # sconcat :: NonEmpty (Tagged s a) -> Tagged s a Source # stimes :: Integral b => b -> Tagged s a -> Tagged s a Source #
Bits a => Bits (Tagged s a)
Instance details Defined in Data.Tagged Methods (.&.) :: Tagged s a -> Tagged s a -> Tagged s a Source # (.\|.) :: Tagged s a -> Tagged s a -> Tagged s a Source # xor :: Tagged s a -> Tagged s a -> Tagged s a Source # complement :: Tagged s a -> Tagged s a Source # shift :: Tagged s a -> Int -> Tagged s a Source # rotate :: Tagged s a -> Int -> Tagged s a Source # zeroBits :: Tagged s a Source # bit :: Int -> Tagged s a Source # setBit :: Tagged s a -> Int -> Tagged s a Source # clearBit :: Tagged s a -> Int -> Tagged s a Source # complementBit :: Tagged s a -> Int -> Tagged s a Source # testBit :: Tagged s a -> Int -> Bool Source # bitSizeMaybe :: Tagged s a -> Maybe Int Source # bitSize :: Tagged s a -> Int Source # isSigned :: Tagged s a -> Bool Source # shiftL :: Tagged s a -> Int -> Tagged s a Source # unsafeShiftL :: Tagged s a -> Int -> Tagged s a Source # shiftR :: Tagged s a -> Int -> Tagged s a Source # unsafeShiftR :: Tagged s a -> Int -> Tagged s a Source # rotateL :: Tagged s a -> Int -> Tagged s a Source # rotateR :: Tagged s a -> Int -> Tagged s a Source # popCount :: Tagged s a -> Int Source #
FiniteBits a => FiniteBits (Tagged s a)
Instance details Defined in Data.Tagged Methods finiteBitSize :: Tagged s a -> Int Source # countLeadingZeros :: Tagged s a -> Int Source # countTrailingZeros :: Tagged s a -> Int Source #
Bounded b => Bounded (Tagged s b)
Instance details Defined in Data.Tagged Methods minBound :: Tagged s b Source # maxBound :: Tagged s b Source #
Enum a => Enum (Tagged s a)
Instance details Defined in Data.Tagged Methods succ :: Tagged s a -> Tagged s a Source # pred :: Tagged s a -> Tagged s a Source # toEnum :: Int -> Tagged s a Source # fromEnum :: Tagged s a -> Int Source # enumFrom :: Tagged s a -> [Tagged s a] Source # enumFromThen :: Tagged s a -> Tagged s a -> [Tagged s a] Source # enumFromTo :: Tagged s a -> Tagged s a -> [Tagged s a] Source # enumFromThenTo :: Tagged s a -> Tagged s a -> Tagged s a -> [Tagged s a] Source #
Floating a => Floating (Tagged s a)
Instance details Defined in Data.Tagged Methods pi :: Tagged s a Source # exp :: Tagged s a -> Tagged s a Source # log :: Tagged s a -> Tagged s a Source # sqrt :: Tagged s a -> Tagged s a Source # (**) :: Tagged s a -> Tagged s a -> Tagged s a Source # logBase :: Tagged s a -> Tagged s a -> Tagged s a Source # sin :: Tagged s a -> Tagged s a Source # cos :: Tagged s a -> Tagged s a Source # tan :: Tagged s a -> Tagged s a Source # asin :: Tagged s a -> Tagged s a Source # acos :: Tagged s a -> Tagged s a Source # atan :: Tagged s a -> Tagged s a Source # sinh :: Tagged s a -> Tagged s a Source # cosh :: Tagged s a -> Tagged s a Source # tanh :: Tagged s a -> Tagged s a Source # asinh :: Tagged s a -> Tagged s a Source # acosh :: Tagged s a -> Tagged s a Source # atanh :: Tagged s a -> Tagged s a Source # log1p :: Tagged s a -> Tagged s a Source # expm1 :: Tagged s a -> Tagged s a Source # log1pexp :: Tagged s a -> Tagged s a Source # log1mexp :: Tagged s a -> Tagged s a Source #
RealFloat a => RealFloat (Tagged s a)
Instance details Defined in Data.Tagged Methods floatRadix :: Tagged s a -> Integer Source # floatDigits :: Tagged s a -> Int Source # floatRange :: Tagged s a -> (Int, Int) Source # decodeFloat :: Tagged s a -> (Integer, Int) Source # encodeFloat :: Integer -> Int -> Tagged s a Source # exponent :: Tagged s a -> Int Source # significand :: Tagged s a -> Tagged s a Source # scaleFloat :: Int -> Tagged s a -> Tagged s a Source # isNaN :: Tagged s a -> Bool Source # isInfinite :: Tagged s a -> Bool Source # isDenormalized :: Tagged s a -> Bool Source # isNegativeZero :: Tagged s a -> Bool Source # isIEEE :: Tagged s a -> Bool Source # atan2 :: Tagged s a -> Tagged s a -> Tagged s a Source #
Generic (Tagged s b)
Instance details Defined in Data.Tagged Associated Types type Rep (Tagged s b) :: Type -> Type Source # Methods from :: Tagged s b -> Rep (Tagged s b) x Source # to :: Rep (Tagged s b) x -> Tagged s b Source #
Ix b => Ix (Tagged s b)
Instance details Defined in Data.Tagged Methods range :: (Tagged s b, Tagged s b) -> [Tagged s b] Source # index :: (Tagged s b, Tagged s b) -> Tagged s b -> Int Source # unsafeIndex :: (Tagged s b, Tagged s b) -> Tagged s b -> Int Source # inRange :: (Tagged s b, Tagged s b) -> Tagged s b -> Bool Source # rangeSize :: (Tagged s b, Tagged s b) -> Int Source # unsafeRangeSize :: (Tagged s b, Tagged s b) -> Int Source #
Num a => Num (Tagged s a)
Instance details Defined in Data.Tagged Methods (+) :: Tagged s a -> Tagged s a -> Tagged s a Source # (-) :: Tagged s a -> Tagged s a -> Tagged s a Source # (*) :: Tagged s a -> Tagged s a -> Tagged s a Source # negate :: Tagged s a -> Tagged s a Source # abs :: Tagged s a -> Tagged s a Source # signum :: Tagged s a -> Tagged s a Source # fromInteger :: Integer -> Tagged s a Source #
Read b => Read (Tagged s b)
Instance details Defined in Data.Tagged Methods readsPrec :: Int -> ReadS (Tagged s b) Source # readList :: ReadS [Tagged s b] Source # readPrec :: ReadPrec (Tagged s b) Source # readListPrec :: ReadPrec [Tagged s b] Source #
Fractional a => Fractional (Tagged s a)
Instance details Defined in Data.Tagged Methods (/) :: Tagged s a -> Tagged s a -> Tagged s a Source # recip :: Tagged s a -> Tagged s a Source # fromRational :: Rational -> Tagged s a Source #
Integral a => Integral (Tagged s a)
Instance details Defined in Data.Tagged Methods quot :: Tagged s a -> Tagged s a -> Tagged s a Source # rem :: Tagged s a -> Tagged s a -> Tagged s a Source # div :: Tagged s a -> Tagged s a -> Tagged s a Source # mod :: Tagged s a -> Tagged s a -> Tagged s a Source # quotRem :: Tagged s a -> Tagged s a -> (Tagged s a, Tagged s a) Source # divMod :: Tagged s a -> Tagged s a -> (Tagged s a, Tagged s a) Source # toInteger :: Tagged s a -> Integer Source #
Real a => Real (Tagged s a)
Instance details Defined in Data.Tagged Methods toRational :: Tagged s a -> Rational Source #
RealFrac a => RealFrac (Tagged s a)
Instance details Defined in Data.Tagged Methods properFraction :: Integral b => Tagged s a -> (b, Tagged s a) Source # truncate :: Integral b => Tagged s a -> b Source # round :: Integral b => Tagged s a -> b Source # ceiling :: Integral b => Tagged s a -> b Source # floor :: Integral b => Tagged s a -> b Source #
Show b => Show (Tagged s b)
Instance details Defined in Data.Tagged Methods showsPrec :: Int -> Tagged s b -> ShowS Source # show :: Tagged s b -> String Source # showList :: [Tagged s b] -> ShowS Source #
NFData b => NFData (Tagged s b)
Instance details Defined in Data.Tagged Methods rnf :: Tagged s b -> () Source #
Eq b => Eq (Tagged s b)
Instance details Defined in Data.Tagged Methods (==) :: Tagged s b -> Tagged s b -> Bool Source # (/=) :: Tagged s b -> Tagged s b -> Bool Source #
Ord b => Ord (Tagged s b)
Instance details Defined in Data.Tagged Methods compare :: Tagged s b -> Tagged s b -> Ordering Source # (<) :: Tagged s b -> Tagged s b -> Bool Source # (<=) :: Tagged s b -> Tagged s b -> Bool Source # (>) :: Tagged s b -> Tagged s b -> Bool Source # (>=) :: Tagged s b -> Tagged s b -> Bool Source # max :: Tagged s b -> Tagged s b -> Tagged s b Source # min :: Tagged s b -> Tagged s b -> Tagged s b Source #
type Rep1 (Tagged s :: Type -> Type)
Instance details Defined in Data.Tagged type Rep1 (Tagged s :: Type -> Type) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.6.1-b995ff3a2048ac001f3226385da99e96d26829f242891dab964f6d8e718b0f13" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type Rep (Tagged s b)
Instance details Defined in Data.Tagged type Rep (Tagged s b) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.6.1-b995ff3a2048ac001f3226385da99e96d26829f242891dab964f6d8e718b0f13" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))