Data.Proxied

Contents

• proxied and unproxied
• Proxified functions
  • Data.Bits
  • Data.Data
  • Data.Typeable
  • Foreign.Storable
  • GHC.Generics
  • Prelude
  • Text.Printf

Description

Synopsis

• 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

Proxified functions

Data.Bits

bitSizeProxied = proxied bitSize

isSignedProxied = proxied isSigned

bitSizeMaybeProxied = proxied bitSizeMaybe

finiteBitSizeProxied = proxied finiteBitSize

Data.Data

dataTypeOfProxied = proxied dataTypeOf

Data.Typeable

typeOfProxied = proxied typeOf

Foreign.Storable

sizeOfProxied = proxied sizeOf

alignmentProxied = proxied alignment

GHC.Generics

datatypeNameProxied = proxied datatypeName

moduleNameProxied = proxied moduleName

isNewtypeProxied = proxied isNewtype

packageNameProxied = proxied packageName

conNameProxied = proxied conName

conFixityProxied = proxied conFixity

conIsRecordProxied = proxied conIsRecord

selNameProxied = proxied selName

selSourceUnpackednessProxied = proxied selSourceUnpackedness

selSourceStrictnessProxied = proxied selSourceStrictness

selDecidedStrictnessProxied = proxied selDecidedStrictness

Prelude

floatRadixProxied = proxied floatRadix

floatDigitsProxied = proxied floatDigits

floatRangeProxied = proxied floatRange

Text.Printf

parseFormatProxied = proxied parseFormat