Commit be3c7faa authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel 🕺
Browse files

Add newline before two `/Since: 4.7.0.0/` occurences



See also `/Since: .../` convention described in
6368362f4486226dee9d54665b4fdffde24e56f1
Signed-off-by: Herbert Valerio Riedel's avatarHerbert Valerio Riedel <hvr@gnu.org>
parent 81b6befa
......@@ -174,6 +174,7 @@ type family (m :: Nat) - (n :: Nat) :: Nat
-- | We either get evidence that this function was instantiated with the
-- same type-level numbers, or 'Nothing'.
--
-- /Since: 4.7.0.0/
sameNat :: (KnownNat a, KnownNat b) =>
Proxy a -> Proxy b -> Maybe (a :~: b)
......@@ -183,6 +184,7 @@ sameNat x y
-- | We either get evidence that this function was instantiated with the
-- same type-level symbols, or 'Nothing'.
--
-- /Since: 4.7.0.0/
sameSymbol :: (KnownSymbol a, KnownSymbol b) =>
Proxy a -> Proxy b -> Maybe (a :~: b)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment