Copyright | (C) 2016-2017 Ryan Scott |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Ryan Scott |
Stability | Provisional |
Portability | GHC |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
- proxied :: forall proxy a b. (a -> b) -> proxy a -> b
- proxyHashed :: forall a b. (a -> b) -> Proxy# a -> b
- unproxied :: forall a b. (Proxy a -> b) -> a -> b
- module Data.Proxy
- bitSizeProxied :: forall proxy a. Bits a => proxy a -> Int
- isSignedProxied :: forall proxy a. Bits a => proxy a -> Bool
- bitSizeMaybeProxied :: forall proxy a. Bits a => proxy a -> Maybe Int
- finiteBitSizeProxied :: forall proxy a. FiniteBits a => proxy a -> Int
- dataTypeOfProxied :: forall proxy a. Data a => proxy a -> DataType
- typeOfProxied :: forall proxy a. Typeable a => proxy a -> TypeRep
- sizeOfProxied :: forall proxy a. Storable a => proxy a -> Int
- alignmentProxied :: forall proxy a. Storable a => proxy a -> Int
- datatypeNameProxied :: forall proxy t d f a. Datatype d => proxy ((t :: k1 -> (* -> *) -> k2 -> *) d f a) -> [Char]
- moduleNameProxied :: forall proxy t d f a. Datatype d => proxy ((t :: k1 -> (* -> *) -> k2 -> *) d f a) -> [Char]
- isNewtypeProxied :: forall proxy t d f a. Datatype d => proxy ((t :: k1 -> (* -> *) -> k2 -> *) d f a) -> Bool
- packageNameProxied :: forall proxy t d f a. Datatype d => proxy ((t :: k1 -> (* -> *) -> k2 -> *) d f a) -> [Char]
- conNameProxied :: forall proxy t c f a. Constructor c => proxy ((t :: k1 -> (* -> *) -> k2 -> *) c f a) -> [Char]
- conFixityProxied :: forall proxy t c f a. Constructor c => proxy ((t :: k1 -> (* -> *) -> k2 -> *) c f a) -> Fixity
- conIsRecordProxied :: forall proxy t c f a. Constructor c => proxy ((t :: k1 -> (* -> *) -> k2 -> *) c f a) -> Bool
- selNameProxied :: forall proxy t s f a. Selector s => proxy ((t :: k1 -> (* -> *) -> k2 -> *) s f a) -> [Char]
- selSourceUnpackednessProxied :: forall proxy t s f a. Selector s => proxy ((t :: k1 -> (* -> *) -> k2 -> *) s f a) -> SourceUnpackedness
- selSourceStrictnessProxied :: forall proxy t s f a. Selector s => proxy ((t :: k1 -> (* -> *) -> k2 -> *) s f a) -> SourceStrictness
- selDecidedStrictnessProxied :: forall proxy t s f a. Selector s => proxy ((t :: k1 -> (* -> *) -> k2 -> *) s f a) -> DecidedStrictness
- floatRadixProxied :: forall proxy a. RealFloat a => proxy a -> Integer
- floatDigitsProxied :: forall proxy a. RealFloat a => proxy a -> Int
- floatRangeProxied :: forall proxy a. RealFloat a => proxy a -> (Int, Int)
- parseFormatProxied :: forall proxy a. PrintfArg a => proxy a -> ModifierParser
proxied
and unproxied
proxied :: forall proxy a b. (a -> b) -> proxy a -> b Source #
Converts a constant function to one that takes a proxy
argument.
Since: 0.1
proxyHashed :: forall a b. (a -> b) -> Proxy# a -> b Source #
Converts a constant function to one that takes a Proxy#
argument.
This function is only available with base-4.7
or later.
Since: 0.2
unproxied :: forall a b. (Proxy a -> b) -> a -> b Source #
Converts a constant function that takes a Proxy
argument to one that
doesn't require a proxy
argument. (I'm not sure why you'd want this,
but it's here for symmetry.)
Since: 0.1
module Data.Proxy
Proxified functions
Data.Bits
bitSizeProxied :: forall proxy a. Bits a => proxy a -> Int Source #
bitSizeProxied
=proxied
bitSize
Since: 0.1
isSignedProxied :: forall proxy a. Bits a => proxy a -> Bool Source #
isSignedProxied
=proxied
isSigned
Since: 0.1
bitSizeMaybeProxied :: forall proxy a. Bits a => proxy a -> Maybe Int Source #
bitSizeMaybeProxied
=proxied
bitSizeMaybe
This function is only available with base-4.7
or later.
Since: 0.1
finiteBitSizeProxied :: forall proxy a. FiniteBits a => proxy a -> Int Source #
finiteBitSizeProxied
=proxied
finiteBitSize
This function is only available with base-4.7
or later.
Since: 0.1
Data.Data
dataTypeOfProxied :: forall proxy a. Data a => proxy a -> DataType Source #
dataTypeOfProxied
=proxied
dataTypeOf
Since: 0.1
Data.Typeable
typeOfProxied :: forall proxy a. Typeable a => proxy a -> TypeRep Source #
Foreign.Storable
sizeOfProxied :: forall proxy a. Storable a => proxy a -> Int Source #
sizeOfProxied
=proxied
sizeOf
Since: 0.1
alignmentProxied :: forall proxy a. Storable a => proxy a -> Int Source #
alignmentProxied
=proxied
alignment
Since: 0.1
GHC.Generics
datatypeNameProxied :: forall proxy t d f a. Datatype d => proxy ((t :: k1 -> (* -> *) -> k2 -> *) d f a) -> [Char] Source #
datatypeNameProxied
=proxied
datatypeName
Since: 0.1
moduleNameProxied :: forall proxy t d f a. Datatype d => proxy ((t :: k1 -> (* -> *) -> k2 -> *) d f a) -> [Char] Source #
moduleNameProxied
=proxied
moduleName
Since: 0.1
isNewtypeProxied :: forall proxy t d f a. Datatype d => proxy ((t :: k1 -> (* -> *) -> k2 -> *) d f a) -> Bool Source #
isNewtypeProxied
=proxied
isNewtype
This function is only available with base-4.7
or later.
Since: 0.1
packageNameProxied :: forall proxy t d f a. Datatype d => proxy ((t :: k1 -> (* -> *) -> k2 -> *) d f a) -> [Char] Source #
packageNameProxied
=proxied
packageName
This function is only avaiable with base-4.9
or later.
Since: 0.1
conNameProxied :: forall proxy t c f a. Constructor c => proxy ((t :: k1 -> (* -> *) -> k2 -> *) c f a) -> [Char] Source #
conNameProxied
=proxied
conName
Since: 0.1
conFixityProxied :: forall proxy t c f a. Constructor c => proxy ((t :: k1 -> (* -> *) -> k2 -> *) c f a) -> Fixity Source #
conFixityProxied
=proxied
conFixity
Since: 0.1
conIsRecordProxied :: forall proxy t c f a. Constructor c => proxy ((t :: k1 -> (* -> *) -> k2 -> *) c f a) -> Bool Source #
conIsRecordProxied
=proxied
conIsRecord
Since: 0.1
selNameProxied :: forall proxy t s f a. Selector s => proxy ((t :: k1 -> (* -> *) -> k2 -> *) s f a) -> [Char] Source #
selNameProxied
=proxied
selName
Since: 0.1
selSourceUnpackednessProxied :: forall proxy t s f a. Selector s => proxy ((t :: k1 -> (* -> *) -> k2 -> *) s f a) -> SourceUnpackedness Source #
selSourceUnpackednessProxied
=proxied
selSourceUnpackedness
This function is only available with base-4.9
or later.
Since: 0.1
selSourceStrictnessProxied :: forall proxy t s f a. Selector s => proxy ((t :: k1 -> (* -> *) -> k2 -> *) s f a) -> SourceStrictness Source #
selSourceStrictnessProxied
=proxied
selSourceStrictness
This function is only available with base-4.9
or later.
Since: 0.1
selDecidedStrictnessProxied :: forall proxy t s f a. Selector s => proxy ((t :: k1 -> (* -> *) -> k2 -> *) s f a) -> DecidedStrictness Source #
selDecidedStrictnessProxied
=proxied
selDecidedStrictness
This function is only available with base-4.9
or later.
Since: 0.1
Prelude
floatRadixProxied :: forall proxy a. RealFloat a => proxy a -> Integer Source #
floatRadixProxied
=proxied
floatRadix
Since: 0.1
floatDigitsProxied :: forall proxy a. RealFloat a => proxy a -> Int Source #
floatDigitsProxied
=proxied
floatDigits
Since: 0.1
floatRangeProxied :: forall proxy a. RealFloat a => proxy a -> (Int, Int) Source #
floatRangeProxied
=proxied
floatRange
Since: 0.1
Text.Printf
parseFormatProxied :: forall proxy a. PrintfArg a => proxy a -> ModifierParser Source #
parseFormatProxied
=proxied
parseFormat
This function is only available with base-4.7
or later.
Since: 0.1