| 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.Internal.Generics Associated Types
| |||||
| MonadZip (Proxy :: Type -> Type) | |||||
| 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) | |||||
| Alternative (Proxy :: Type -> Type) | |||||
| Applicative (Proxy :: Type -> Type) | |||||
| Functor (Proxy :: Type -> Type) | |||||
| Monad (Proxy :: Type -> Type) | |||||
| MonadPlus (Proxy :: Type -> Type) | |||||
| Foldable (Proxy :: Type -> Type) | |||||
Defined in GHC.Internal.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 # | |||||
| Traversable (Proxy :: Type -> Type) | |||||
| Monoid (Proxy s) | |||||
| Semigroup (Proxy s) | |||||
| Bounded (Proxy t) | |||||
| Enum (Proxy s) | |||||
| Generic (Proxy t) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
| Ix (Proxy s) | |||||
Defined in GHC.Internal.Data.Proxy | |||||
| Read (Proxy t) | |||||
| Show (Proxy s) | |||||
| Eq (Proxy s) | |||||
| Ord (Proxy s) | |||||
Defined in GHC.Internal.Data.Proxy | |||||
| type Rep1 (Proxy :: k -> Type) | |||||
Defined in GHC.Internal.Generics | |||||
| type Rep (Proxy t) | |||||
Defined in GHC.Internal.Generics | |||||
asProxyTypeOf :: a -> proxy a -> a #