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 #