Documentation

prettyPattern :: Applicative f => Pattern t -> [String] -> Int -> (t -> Int -> f Doc) -> (HashMap PatternPath String, f Doc) Source

lambdaPatterns :: Applicative f => [Pattern t] -> [String] -> (t -> Int -> f Doc) -> (HashMap PatternPath String, f Doc) Source

prettyGuarded :: Applicative f => Guarded tm -> Doc -> (tm -> f Doc) -> f Doc Source

prettyAlt :: Applicative f => [String] -> (forall r. g r -> [String] -> Int -> (r -> Int -> f Doc) -> f Doc) -> (t -> Int -> f Doc) -> (v -> Int -> f Doc) -> Alt t g v -> f Doc Source