Skip to content

Commit

Permalink
Formatting for concepts
Browse files Browse the repository at this point in the history
  • Loading branch information
ocharles committed Mar 16, 2017
1 parent e313673 commit 8eab5da
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions docs/concepts.rst
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,6 @@ In :doc:`tutorial` we used instances like ``instance Table (Part Expr) (Part
QueryResult)``. It's actually possible to get *even more* type inference using
the following variation::


instance (expr ~ Expr, queryResult ~ QueryResult) =>
Table (Part expr) (Part queryResult)

Expand All @@ -91,7 +90,7 @@ functions like ``filterQuery`` are more general than one might first expect::

filterQuery :: Predicate bool => (a -> Expr bool) -> O.Query a -> O.Query a

There are two instances for the ``Predicate`` type class:
There are two instances for the ``Predicate`` type class::

instance Predicate Bool
instance Predicate (Maybe Bool)
Expand Down

0 comments on commit 8eab5da

Please sign in to comment.