| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Proxy.Compat
Documentation
asProxyTypeOf :: a -> proxy a -> a #
Constructors
| Proxy |
Instances
| Generic1 (Proxy :: k -> Type) | |||||
Defined in GHC.Generics Associated Types
| |||||
| MonadZip (Proxy :: Type -> Type) | |||||
| Foldable (Proxy :: Type -> Type) | |||||
Defined in Data.Foldable Methods fold :: Monoid m => Proxy m -> m # foldMap :: Monoid m => (a -> m) -> Proxy a -> m # foldMap' :: Monoid m => (a -> m) -> Proxy a -> m # foldr :: (a -> b -> b) -> b -> Proxy a -> b # foldr' :: (a -> b -> b) -> b -> Proxy a -> b # foldl :: (b -> a -> b) -> b -> Proxy a -> b # foldl' :: (b -> a -> b) -> b -> Proxy a -> b # foldr1 :: (a -> a -> a) -> Proxy a -> a # foldl1 :: (a -> a -> a) -> Proxy a -> a # elem :: Eq a => a -> Proxy a -> Bool # maximum :: Ord a => Proxy a -> a # minimum :: Ord a => Proxy a -> a # | |||||
| Eq1 (Proxy :: Type -> Type) | |||||
| Ord1 (Proxy :: Type -> Type) | |||||
Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> Proxy a -> Proxy b -> Ordering | |||||
| Read1 (Proxy :: Type -> Type) | |||||
Defined in Data.Functor.Classes | |||||
| Show1 (Proxy :: Type -> Type) | |||||
Defined in Data.Functor.Classes | |||||
| Contravariant (Proxy :: Type -> Type) | |||||
| Traversable (Proxy :: Type -> Type) | |||||
| Alternative (Proxy :: Type -> Type) | |||||
| Applicative (Proxy :: Type -> Type) | |||||
| Functor (Proxy :: Type -> Type) | |||||
| Monad (Proxy :: Type -> Type) | |||||
| MonadPlus (Proxy :: Type -> Type) | |||||
| Data t => Data (Proxy t) | |||||
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) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Proxy t) dataTypeOf :: Proxy t -> DataType dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Proxy t)) dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Proxy t)) gmapT :: (forall b. Data b => b -> b) -> Proxy t -> Proxy t gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Proxy t -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Proxy t -> r gmapQ :: (forall d. Data d => d -> u) -> Proxy t -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Proxy t -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) | |||||
| Monoid (Proxy s) | |||||
| Semigroup (Proxy s) | |||||
| Bounded (Proxy t) | |||||
| Enum (Proxy s) | |||||
| Generic (Proxy t) | |||||
| Ix (Proxy s) | |||||
| Read (Proxy t) | |||||
| Show (Proxy s) | |||||
| Eq (Proxy s) | |||||
| Ord (Proxy s) | |||||
| type Rep1 (Proxy :: k -> Type) | |||||
Defined in GHC.Generics | |||||
| type Rep (Proxy t) | |||||
Defined in GHC.Generics | |||||
asProxyTypeOf :: a -> proxy a -> a #