Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. integralFromSingleton :: (Integer x, Num y) => Singleton x -> y

   tfp	Type.Data.Num

   No documentation available.

2. integerFromSingleton :: Integer n => Singleton n -> Integer

   tfp	Type.Data.Num.Decimal.Number

   No documentation available.

3. integralFromSingleton :: (Integer n, Num a) => Singleton n -> a

   tfp	Type.Data.Num.Decimal.Number

   No documentation available.

4. data HeadSingleton n

   tfp	Type.Data.Num.Unary

   No documentation available.

5. headSingleton :: Natural n => HeadSingleton n

   tfp	Type.Data.Num.Unary

   No documentation available.

6. integerFromSingleton :: Natural n => Singleton n -> Integer

   tfp	Type.Data.Num.Unary

   No documentation available.

7. integralFromSingleton :: (Natural n, Num a) => Singleton n -> a

   tfp	Type.Data.Num.Unary

   No documentation available.

8. unSingleton :: OneOfThem (Singleton a) -> a

   type-set	Data.OneOfThem

   No documentation available.

9. unSingleton :: OneOrMore (Singleton a) -> a

   type-set	Data.OneOrMore

   No documentation available.

10. unSingleton :: forall (f :: Type -> Type) a . OneOrMoreApp ('SetApp f (Singleton a)) -> a

    type-set	Data.OneOrMoreApp

    No documentation available.

Page 60 of many | Previous | Next