Data.Proxy (original) (raw)
Generic1 (Proxy :: k -> Type) Source #
Instance details
Defined in GHC.Generics
Associated Types
type Rep1 Proxy :: k -> Type Source #
Methods
from1 :: Proxy a -> Rep1 Proxy a Source #
to1 :: Rep1 Proxy a -> Proxy a Source #
Monad (Proxy :: Type -> Type) Source #
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
(>>=) :: Proxy a -> (a -> Proxy b) -> Proxy b Source #
(>>) :: Proxy a -> Proxy b -> Proxy b Source #
return :: a -> Proxy a Source #
fail :: String -> Proxy a Source #
Functor (Proxy :: Type -> Type) Source #
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
fmap :: (a -> b) -> Proxy a -> Proxy b Source #
(<$) :: a -> Proxy b -> Proxy a Source #
Applicative (Proxy :: Type -> Type) Source #
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
(<*>) :: Proxy (a -> b) -> Proxy a -> Proxy b Source #
liftA2 :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c Source #
(*>) :: Proxy a -> Proxy b -> Proxy b Source #
(<*) :: Proxy a -> Proxy b -> Proxy a Source #
Foldable (Proxy :: Type -> Type) Source #
Since: 4.7.0.0
Instance details
Defined in Data.Foldable
Methods
fold :: Monoid m => Proxy m -> m Source #
foldMap :: Monoid m => (a -> m) -> Proxy a -> m Source #
foldr :: (a -> b -> b) -> b -> Proxy a -> b Source #
foldr' :: (a -> b -> b) -> b -> Proxy a -> b Source #
foldl :: (b -> a -> b) -> b -> Proxy a -> b Source #
foldl' :: (b -> a -> b) -> b -> Proxy a -> b Source #
foldr1 :: (a -> a -> a) -> Proxy a -> a Source #
foldl1 :: (a -> a -> a) -> Proxy a -> a Source #
toList :: Proxy a -> [a] Source #
null :: Proxy a -> Bool Source #
length :: Proxy a -> Int Source #
elem :: Eq a => a -> Proxy a -> Bool Source #
maximum :: Ord a => Proxy a -> a Source #
minimum :: Ord a => Proxy a -> a Source #
sum :: Num a => Proxy a -> a Source #
product :: Num a => Proxy a -> a Source #
Traversable (Proxy :: Type -> Type) Source #
Since: 4.7.0.0
Instance details
Defined in Data.Traversable
Methods
traverse :: Applicative f => (a -> f b) -> Proxy a -> f (Proxy b) Source #
sequenceA :: Applicative f => Proxy (f a) -> f (Proxy a) Source #
mapM :: Monad m => (a -> m b) -> Proxy a -> m (Proxy b) Source #
sequence :: Monad m => Proxy (m a) -> m (Proxy a) Source #
MonadPlus (Proxy :: Type -> Type) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Proxy
Methods
mplus :: Proxy a -> Proxy a -> Proxy a Source #
Alternative (Proxy :: Type -> Type) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Proxy
Methods
(<|>) :: Proxy a -> Proxy a -> Proxy a Source #
some :: Proxy a -> Proxy [a] Source #
many :: Proxy a -> Proxy [a] Source #
MonadZip (Proxy :: Type -> Type) Source #
Since: 4.9.0.0
Instance details
Defined in Control.Monad.Zip
Methods
mzip :: Proxy a -> Proxy b -> Proxy (a, b) Source #
mzipWith :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c Source #
munzip :: Proxy (a, b) -> (Proxy a, Proxy b) Source #
Show1 (Proxy :: Type -> Type) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Proxy a -> ShowS Source #
liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Proxy a] -> ShowS Source #
Read1 (Proxy :: Type -> Type) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Proxy a) Source #
liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Proxy a] Source #
liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Proxy a) Source #
liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Proxy a] Source #
Ord1 (Proxy :: Type -> Type) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftCompare :: (a -> b -> Ordering) -> Proxy a -> Proxy b -> Ordering Source #
Eq1 (Proxy :: Type -> Type) Source #
Since: 4.9.0.0
Instance details
Defined in Data.Functor.Classes
Methods
liftEq :: (a -> b -> Bool) -> Proxy a -> Proxy b -> Bool Source #
Contravariant (Proxy :: Type -> Type) Source #
Instance details
Defined in Data.Functor.Contravariant
Methods
contramap :: (a -> b) -> Proxy b -> Proxy a Source #
(>$) :: b -> Proxy b -> Proxy a Source #
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
succ :: Proxy s -> Proxy s Source #
pred :: Proxy s -> Proxy s Source #
toEnum :: Int -> Proxy s Source #
fromEnum :: Proxy s -> Int Source #
enumFrom :: Proxy s -> [Proxy s] Source #
enumFromThen :: Proxy s -> Proxy s -> [Proxy s] Source #
enumFromTo :: Proxy s -> Proxy s -> [Proxy s] Source #
enumFromThenTo :: Proxy s -> Proxy s -> Proxy s -> [Proxy s] Source #
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
(==) :: Proxy s -> Proxy s -> Bool #
(/=) :: Proxy s -> Proxy s -> Bool #
Data t => Data (Proxy t) Source #
Since: 4.7.0.0
Instance details
Defined in Data.Data
Methods
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Proxy t -> c (Proxy t) Source #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Proxy t) Source #
toConstr :: Proxy t -> Constr Source #
dataTypeOf :: Proxy t -> DataType Source #
dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Proxy t)) Source #
dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Proxy t)) Source #
gmapT :: (forall b. Data b => b -> b) -> Proxy t -> Proxy t Source #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Proxy t -> r Source #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Proxy t -> r Source #
gmapQ :: (forall d. Data d => d -> u) -> Proxy t -> [u] Source #
gmapQi :: Int -> (forall d. Data d => d -> u) -> Proxy t -> u Source #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Source #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Source #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Source #
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
compare :: Proxy s -> Proxy s -> Ordering #
(<) :: Proxy s -> Proxy s -> Bool #
(<=) :: Proxy s -> Proxy s -> Bool #
(>) :: Proxy s -> Proxy s -> Bool #
(>=) :: Proxy s -> Proxy s -> Bool #
max :: Proxy s -> Proxy s -> Proxy s #
min :: Proxy s -> Proxy s -> Proxy s #
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
readsPrec :: Int -> ReadS (Proxy t) Source #
readList :: ReadS [Proxy t] Source #
readPrec :: ReadPrec (Proxy t) Source #
readListPrec :: ReadPrec [Proxy t] Source #
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
showsPrec :: Int -> Proxy s -> ShowS Source #
show :: Proxy s -> String Source #
showList :: [Proxy s] -> ShowS Source #
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
range :: (Proxy s, Proxy s) -> [Proxy s] Source #
index :: (Proxy s, Proxy s) -> Proxy s -> Int Source #
unsafeIndex :: (Proxy s, Proxy s) -> Proxy s -> Int
inRange :: (Proxy s, Proxy s) -> Proxy s -> Bool Source #
rangeSize :: (Proxy s, Proxy s) -> Int Source #
unsafeRangeSize :: (Proxy s, Proxy s) -> Int
Instance details
Defined in GHC.Generics
Associated Types
type Rep (Proxy t) :: Type -> Type Source #
Methods
from :: Proxy t -> Rep (Proxy t) x Source #
to :: Rep (Proxy t) x -> Proxy t Source #
Since: 4.9.0.0
Instance details
Defined in Data.Proxy
Methods
(<>) :: Proxy s -> Proxy s -> Proxy s Source #
sconcat :: NonEmpty (Proxy s) -> Proxy s Source #
stimes :: Integral b => b -> Proxy s -> Proxy s Source #
Since: 4.7.0.0
Instance details
Defined in Data.Proxy
Methods
mappend :: Proxy s -> Proxy s -> Proxy s Source #
mconcat :: [Proxy s] -> Proxy s Source #
type Rep1 (Proxy :: k -> Type) Source #
Since: 4.6.0.0
Instance details
Defined in GHC.Generics
type Rep1 (Proxy :: k -> Type) = D1 (MetaData "Proxy" "Data.Proxy" "base" False) (C1 (MetaCons "Proxy" PrefixI False) (U1 :: k -> Type))
Since: 4.6.0.0
Instance details
Defined in GHC.Generics
type Rep (Proxy t) = D1 (MetaData "Proxy" "Data.Proxy" "base" False) (C1 (MetaCons "Proxy" PrefixI False) (U1 :: Type -> Type))