Hoogle Search

Within LTS Haskell 24.17 (ghc-9.10.3)

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

data (a :: Nat) :=:# (b :: Nat)

natural-arithmetic Arithmetic.Types

No documentation available.
data (a :: Nat) :=: (b :: Nat)

natural-arithmetic Arithmetic.Unsafe

Proof that the first argument is equal to the second argument.
newtype (a :: Nat) :=:# (b :: Nat)

natural-arithmetic Arithmetic.Unsafe

No documentation available.
pattern (:<) :: Ord a => a -> MinQueue a -> MinQueue a

pqueue Data.PQueue.Min

A bidirectional pattern synonym for working with the minimum view of a MinQueue. Using :< to construct a queue performs an insertion in <math> amortized time. When matching on a :< q, forcing q takes <math> time.
pattern (:<) :: Ord k => (k, a) -> MinPQueue k a -> MinPQueue k a

pqueue Data.PQueue.Prio.Min

A bidirectional pattern synonym for working with the minimum view of a MinPQueue. Using :< to construct a queue performs an insertion in <math> amortized time. When matching on (k, a) :< q, forcing q takes <math> time.
data h :. t

sqlite-simple Database.SQLite.Simple

A composite type to parse your custom data structures without having to define dummy newtype wrappers every time.
```
instance FromRow MyData where ...
```
```
instance FromRow MyData2 where ...
```
then I can do the following for free:
```
res <- query' c "..."
forM res $ \(MyData{..} :. MyData2{..}) -> do
....
```
(:.) :: h -> t -> (:.) h t

sqlite-simple Database.SQLite.Simple

No documentation available.
(:=) :: forall v . ToField v => Text -> v -> NamedParam

sqlite-simple Database.SQLite.Simple

No documentation available.
data h :. t

sqlite-simple Database.SQLite.Simple.Types

A composite type to parse your custom data structures without having to define dummy newtype wrappers every time.
```
instance FromRow MyData where ...
```
```
instance FromRow MyData2 where ...
```
then I can do the following for free:
```
res <- query' c "..."
forM res $ \(MyData{..} :. MyData2{..}) -> do
....
```
(:.) :: h -> t -> (:.) h t

sqlite-simple Database.SQLite.Simple.Types

No documentation available.

natural-arithmetic	Arithmetic.Types

natural-arithmetic	Arithmetic.Unsafe

natural-arithmetic	Arithmetic.Unsafe

pqueue	Data.PQueue.Min

pqueue	Data.PQueue.Prio.Min

sqlite-simple	Database.SQLite.Simple

sqlite-simple	Database.SQLite.Simple

sqlite-simple	Database.SQLite.Simple

sqlite-simple	Database.SQLite.Simple.Types

sqlite-simple	Database.SQLite.Simple.Types

Page 26 of many | Previous | Next