mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-23 03:32:09 +03:00
9 lines
148 B
Idris
9 lines
148 B
Idris
|
module SimpleData
|
||
|
|
|
||
|
|
data Fwd a = FNil | (<|) a (Fwd a)
|
||
|
|
data Bwd a = BNil | (|>) (Bwd a) a
|
||
|
|
|
||
|
|
data Tree n l
|
||
|
|
= Leaf l
|
||
|
|
| Node (Tree n l) n (Tree n l)
|