Skip to content

Instantly share code, notes, and snippets.

@ysangkok

ysangkok/gist:e16298b0982e54aec8d9d084825e6312

Created December 26, 2020 03:04
Show Gist options
  • Save ysangkok/e16298b0982e54aec8d9d084825e6312 to your computer and use it in GitHub Desktop.
Save ysangkok/e16298b0982e54aec8d9d084825e6312 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
*Main Data.Tree Data.Tree.Lens Control.Lens> let l = partsOf (traversed.(filtered ((==[]).subForest)))
*Main Data.Tree Data.Tree.Lens Control.Lens|
*Main Data.Tree Data.Tree.Lens Control.Lens> Node 1 [Node 2 [], Node 3 []] & l .~ [5,6]
<interactive>:7:1: error:
• Non type-variable argument in the constraint: Num (Tree a)
(Use FlexibleContexts to permit this)
• When checking the inferred type
it :: forall a. (Num (Tree a), Eq a) => Tree (Tree a)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment