Data.Proxied

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

Since: 0.1

proxied and unproxied

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

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

Since: 0.1

unproxied :: (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 :: Bits a => proxy a -> Int

bitSizeProxied = proxied bitSize

Since: 0.1

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

isSignedProxied = proxied isSigned

Since: 0.1

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

bitSizeMaybeProxied = proxied bitSizeMaybe

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

Since: 0.1

finiteBitSizeProxied :: 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 :: Data a => proxy a -> DataType

dataTypeOfProxied = proxied dataTypeOf

Since: 0.1

Data.Typeable

typeOfProxied :: 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 :: Storable a => proxy a -> Int

sizeOfProxied = proxied sizeOf

Since: 0.1

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

alignmentProxied = proxied alignment

Since: 0.1

GHC.Generics

datatypeNameProxied :: Datatype d => proxy ((t :: * -> (* -> *) -> * -> *) d f a) -> [Char]

datatypeNameProxied = proxied datatypeName

Since: 0.1

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

moduleNameProxied = proxied moduleName

Since: 0.1

isNewtypeProxied :: Datatype d => proxy ((t :: * -> (* -> *) -> * -> *) d f a) -> Bool

isNewtypeProxied = proxied isNewtype

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

Since: 0.1

conNameProxied :: Constructor c => proxy ((t :: * -> (* -> *) -> * -> *) c f a) -> [Char]

conNameProxied = proxied conName

Since: 0.1

conFixityProxied :: Constructor c => proxy ((t :: * -> (* -> *) -> * -> *) c f a) -> Fixity

conFixityProxied = proxied conFixity

Since: 0.1

conIsRecordProxied :: Constructor c => proxy ((t :: * -> (* -> *) -> * -> *) c f a) -> Bool

conIsRecordProxied = proxied conIsRecord

Since: 0.1

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

selNameProxied = proxied selName

Since: 0.1

Prelude

floatRadixProxied :: RealFloat a => proxy a -> Integer

floatRadixProxied = proxied floatRadix

Since: 0.1

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

floatDigitsProxied = proxied floatDigits

Since: 0.1

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

floatRangeProxied = proxied floatRange

Since: 0.1

Text.Printf

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

parseFormatProxied = proxied parseFormat

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

Since: 0.1