Data.Proxyless

Remove the Proxy, Proxy#, and undefined arguments from functions with proxyless, proxyHashless, and undefinedless, respectively, which produce functions that take type information via GHC's -XTypeApplications extension.

This module is only available with GHC 8.0 or later.

Since: 0.2

proxyless, proxyHashless, and undefinedless

proxyless :: forall k (a :: k) b. (Proxy a -> b) -> b

Converts a constant function that takes a Proxy argument to one that doesn't require an argument.

Since: 0.2

proxyHashless :: forall k (a :: k) b. (Proxy# a -> b) -> b

Converts a constant function that takes a Proxy# argument to one that doesn't require an argument.

Since: 0.2

undefinedless :: forall a b. (a -> b) -> b

Converts a constant function that takes an undefined argument to one that doesn't require an argument.

Since: 0.2

Proxyless functions

Data.Bits

theBitSize :: forall a. Bits a => Int

theBitSize = undefinedless bitSize

Since: 0.2

theIsSigned :: forall a. Bits a => Bool

theIsSigned = undefinedless isSigned

Since: 0.2

theBitSizeMaybe :: forall a. Bits a => Maybe Int

theBitSizeMaybe = undefinedless bitSizeMaybe

Since: 0.2

theFiniteBitSize :: forall a. FiniteBits a => Int

theFiniteBitSize = undefinedless finiteBitSize

Since: 0.2

Data.Data

theDataTypeOf :: forall a. Data a => DataType

theDataTypeOf = undefinedless dataTypeOf

Since: 0.2

Data.Typeable

theTypeNatTypeRep :: forall a. KnownNat a => TypeRep

theTypeNatTypeRep = proxyHashless typeNatTypeRep

Note that in base-4.10 and later, theTypeNatTypeRep is simply a synonym for theTypeRep, as typeNatTypeRep is no longer exported.

Since: 0.2

theTypeRep :: forall k (a :: k). Typeable a => TypeRep

theTypeRep = proxyless typeRep

Since: 0.2

theTypeRep# :: forall k (a :: k). Typeable a => TypeRep

theTypeRep# = proxyHashless typeRep#

Note that in base-4.10 and later, theTypeRep# is simply a synonym for theTypeRep, as typeRep# is no longer exported.

Since: 0.2

theTypeSymbolTypeRep :: forall a. KnownSymbol a => TypeRep

theTypeSymbolTypeRep = proxyHashless typeSymbolTypeRep

Note that in base-4.10 and later, theTypeSymbolTypeRep is simply a synonym for theTypeRep, as typeSymbolTypeRep is no longer exported.

Since: 0.2

Foreign.Storable

theSizeOf :: forall a. Storable a => Int

theSizeOf = undefinedless sizeOf

Since: 0.2

theAlignment :: forall a. Storable a => Int

theAlignment = undefinedless alignment

Since: 0.2

GHC.Generics

theDatatypeName :: forall k (d :: k). Datatype d => [Char]

theDatatypeName = datatypeName undefined

Since: 0.2

theModuleName :: forall k (d :: k). Datatype d => [Char]

theModuleName = moduleName undefined

Since: 0.2

theIsNewtype :: forall k (d :: k). Datatype d => Bool

theIsNewtype = isNewtype undefined

Since: 0.2

thePackageName :: forall k (d :: k). Datatype d => [Char]

thePackageName = packageName undefined

Since: 0.2

theConName :: forall k (c :: k). Constructor c => [Char]

theConName = conName undefined

Since: 0.2

theConFixity :: forall k (c :: k). Constructor c => Fixity

theConFixity = conFixity undefined

Since: 0.2

theConIsRecord :: forall k (c :: k). Constructor c => Bool

theConIsRecord = conIsRecord undefined

Since: 0.2

theSelName :: forall k (s :: k). Selector s => [Char]

theSelName = selName undefined

Since: 0.2

theSelSourceUnpackedness :: forall k (s :: k). Selector s => SourceUnpackedness

theSelSourceUnpackedness = selSourceUnpackedness undefined

Since: 0.2

theSelSourceStrictness :: forall k (s :: k). Selector s => SourceStrictness

theSelSourceStrictness = selSourceStrictness undefined

Since: 0.2

theSelDecidedStrictness :: forall k (s :: k). Selector s => DecidedStrictness

theSelDecidedStrictness = selDecidedStrictness undefined

Since: 0.2

GHC.OverloadedLabels

theFromLabel :: forall x a. IsLabel x a => a

In base-4.10 and later, this is simply a synonym for fromLabel. In base-4.9, theFromLabel is defined as:

theFromLabel = proxyHashless fromLabel

Since: 0.2

GHC.TypeLits

theNatVal :: forall n. KnownNat n => Integer

theNatVal = proxyless natVal

Since: 0.2

theNatVal' :: forall n. KnownNat n => Integer

theNatVal' = proxyHashless natVal'

Since: 0.2

theSameNat :: forall a b. (KnownNat a, KnownNat b) => Maybe (a :~: b)

theSameNat = sameNat Proxy Proxy

Since: 0.2

theSameSymbol :: forall a b. (KnownSymbol a, KnownSymbol b) => Maybe (a :~: b)

theSameSymbol = sameSymbol Proxy Proxy

Since: 0.2

theSomeNat :: forall n. KnownNat n => SomeNat

theSomeNat = proxyless SomeNat

Since: 0.2

theSomeSymbol :: forall n. KnownSymbol n => SomeSymbol

theSomeSymbol = proxyless SomeSymbol

Since: 0.2

theSymbolVal :: forall n. KnownSymbol n => String

theSymbolVal = proxyless symbolVal

Since: 0.2

theSymbolVal' :: forall n. KnownSymbol n => String

theSymbolVal' = proxyHashless symbolVal'

Since: 0.2

Prelude

theFloatRadix :: forall a. RealFloat a => Integer

theFloatRadix = undefinedless floatRadix

Since: 0.2

theFloatDigits :: forall a. RealFloat a => Int

theFloatDigits = undefinedless floatDigits

Since: 0.2

theFloatRange :: forall a. RealFloat a => (Int, Int)

theFloatRange = undefinedless floatRange

Since: 0.2

Text.Printf

theParseFormat :: forall a. PrintfArg a => ModifierParser

theParseFormat = undefinedless parseFormat

Since: 0.2