Skip to content

Commit

Permalink
Update doc comments
Browse files Browse the repository at this point in the history
  • Loading branch information
Z-snails committed Jan 20, 2023
1 parent e47e1af commit 6130fc4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Multiplate.idr
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,7 @@ orElse : Alternative m => Multiplate p => Lazy (p m) -> Lazy (p m) -> p m
orElse p1 p2 = mkPlate $ \proj, x => proj p1 x <|> proj p2 x

||| Apply a transformation to the whole family of a node.
||| This happens in a depth-first order
||| This happens in a pre-order, ie children are mapped before parents.
public export covering
mapFamily : Multiplate p => Monad m => p m -> p m
mapFamily p = multiplate (mapFamily p) `andThenM` p
Expand Down

0 comments on commit 6130fc4

Please sign in to comment.