Data.Proxied

Convert undefined-consuming functions to Proxy-consuming ones with proxied.

Since: 0.1

proxied and unproxied

proxied :: forall proxy a b. (a -> b) -> proxy a -> b

Converts a constant function to one that takes a proxy argument.

Since: 0.1

proxyHashed :: forall a b. (a -> b) -> Proxy# a -> b

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

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

bitSizeProxied = proxied bitSize

Since: 0.1

isSignedProxied :: forall proxy a. Bits a => proxy a -> Bool

isSignedProxied = proxied isSigned

Since: 0.1

bitSizeMaybeProxied :: forall proxy a. Bits a => proxy a -> Maybe Int

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

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

dataTypeOfProxied = proxied dataTypeOf

Since: 0.1

Data.Typeable

typeOfProxied :: forall proxy a. Typeable a => proxy a -> TypeRep

typeOfProxied = proxied typeOf

On base-4.7 and later, this is identical to typeRep.

Since: 0.1

Foreign.Storable

sizeOfProxied :: forall proxy a. Storable a => proxy a -> Int

sizeOfProxied = proxied sizeOf

Since: 0.1

alignmentProxied :: forall proxy a. Storable a => proxy a -> Int

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]

datatypeNameProxied = proxied datatypeName

Since: 0.1

moduleNameProxied :: forall proxy t d f a. Datatype d => proxy ((t :: k1 -> (* -> *) -> k2 -> *) d f a) -> [Char]

moduleNameProxied = proxied moduleName

Since: 0.1

isNewtypeProxied :: forall proxy t d f a. Datatype d => proxy ((t :: k1 -> (* -> *) -> k2 -> *) d f a) -> Bool

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]

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]

conNameProxied = proxied conName

Since: 0.1

conFixityProxied :: forall proxy t c f a. Constructor c => proxy ((t :: k1 -> (* -> *) -> k2 -> *) c f a) -> Fixity

conFixityProxied = proxied conFixity

Since: 0.1

conIsRecordProxied :: forall proxy t c f a. Constructor c => proxy ((t :: k1 -> (* -> *) -> k2 -> *) c f a) -> Bool

conIsRecordProxied = proxied conIsRecord

Since: 0.1

selNameProxied :: forall proxy t s f a. Selector s => proxy ((t :: k1 -> (* -> *) -> k2 -> *) s f a) -> [Char]

selNameProxied = proxied selName

Since: 0.1

selSourceUnpackednessProxied :: forall proxy t s f a. Selector s => proxy ((t :: k1 -> (* -> *) -> k2 -> *) s f a) -> SourceUnpackedness

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

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

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

floatRadixProxied = proxied floatRadix

Since: 0.1

floatDigitsProxied :: forall proxy a. RealFloat a => proxy a -> Int

floatDigitsProxied = proxied floatDigits

Since: 0.1

floatRangeProxied :: forall proxy a. RealFloat a => proxy a -> (Int, Int)

floatRangeProxied = proxied floatRange

Since: 0.1

Text.Printf

parseFormatProxied :: forall proxy a. PrintfArg a => proxy a -> ModifierParser

parseFormatProxied = proxied parseFormat

This function is only available with base-4.7 or later.

Since: 0.1