Fixed a few small unescaped slashes that were confusing haddock
This commit is contained in:
parent
639b662a98
commit
f32471709d
|
@ -335,7 +335,7 @@ data Alternative =
|
||||||
-- | A @SKIP@ guard (one that is always ready).
|
-- | A @SKIP@ guard (one that is always ready).
|
||||||
-- The 'Expression' is the pre-condition.
|
-- The 'Expression' is the pre-condition.
|
||||||
| AlternativeSkip Meta Expression Process
|
| AlternativeSkip Meta Expression Process
|
||||||
-- | A @wait for@/@until@ guard.
|
-- | A @wait for@\/@until@ guard.
|
||||||
| AlternativeWait Meta WaitMode Expression Process
|
| AlternativeWait Meta WaitMode Expression Process
|
||||||
deriving (Show, Eq, Typeable, Data)
|
deriving (Show, Eq, Typeable, Data)
|
||||||
|
|
||||||
|
|
|
@ -180,9 +180,9 @@ instance ShowRain A.Variable where
|
||||||
|
|
||||||
-- | Extends an existing (probably generic) function with cases for everything that has a specific ShowOccam and ShowRain instance
|
-- | Extends an existing (probably generic) function with cases for everything that has a specific ShowOccam and ShowRain instance
|
||||||
-- This is a bit of manual wiring. Because we can't generically deduce whether or not
|
-- This is a bit of manual wiring. Because we can't generically deduce whether or not
|
||||||
-- a given Data item has a showRain/showOccam implementation (that I know of), I have
|
-- a given Data item has a showRain\/showOccam implementation (that I know of), I have
|
||||||
-- had to add this function that has a line for each type that does have a
|
-- had to add this function that has a line for each type that does have a
|
||||||
-- ShowOccam/ShowRain implementation. But since to add a type to the ShowOccam/ShowRain
|
-- ShowOccam\/ShowRain implementation. But since to add a type to the ShowOccam\/ShowRain
|
||||||
-- classes you have to provide a specific instance above anyway, I don't think that adding
|
-- classes you have to provide a specific instance above anyway, I don't think that adding
|
||||||
-- one more line while you're at it is too bad.
|
-- one more line while you're at it is too bad.
|
||||||
extCode :: Typeable b => (b -> Doc) -> (forall a. (ShowOccam a, ShowRain a) => a -> String) -> (b -> Doc)
|
extCode :: Typeable b => (b -> Doc) -> (forall a. (ShowOccam a, ShowRain a) => a -> String) -> (b -> Doc)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user