This module provides types and functions for managing a strongly typed tree of depth 10. Each level of the tree can have its own type, and each level can contain Data either of that type, or the leaf type.
Tree10 a b c d e f g h i leaf
{ level10 : { decoder : Json.Decode.Decoder a
, encoders : a -> List ( String
, Json.Encode.Value )
, pathType : TreePath10 a b c d e f g h i leaf -> path
, childrenField : String }
, level9 : { decoder : Json.Decode.Decoder b
, encoders : b -> List ( String
, Json.Encode.Value )
, pathType : TreePath9 a b c d e f g h i leaf -> path
, childrenField : String }
, level8 : { decoder : Json.Decode.Decoder c
, encoders : c -> List ( String
, Json.Encode.Value )
, pathType : TreePath8 a b c d e f g h i leaf -> path
, childrenField : String }
, level7 : { decoder : Json.Decode.Decoder d
, encoders : d -> List ( String
, Json.Encode.Value )
, pathType : TreePath7 a b c d e f g h i leaf -> path
, childrenField : String }
, level6 : { decoder : Json.Decode.Decoder e
, encoders : e -> List ( String
, Json.Encode.Value )
, pathType : TreePath6 a b c d e f g h i leaf -> path
, childrenField : String }
, level5 : { decoder : Json.Decode.Decoder f
, encoders : f -> List ( String
, Json.Encode.Value )
, pathType : TreePath5 a b c d e f g h i leaf -> path
, childrenField : String }
, level4 : { decoder : Json.Decode.Decoder g
, encoders : g -> List ( String
, Json.Encode.Value )
, pathType : TreePath4 a b c d e f g h i leaf -> path
, childrenField : String }
, level3 : { decoder : Json.Decode.Decoder h
, encoders : h -> List ( String
, Json.Encode.Value )
, pathType : TreePath3 a b c d e f g h i leaf -> path
, childrenField : String }
, level2 : { decoder : Json.Decode.Decoder i
, encoders : i -> List ( String
, Json.Encode.Value )
, pathType : TreePath2 a b c d e f g h i leaf -> path
, childrenField : String }
, leaf : { decoder : Json.Decode.Decoder leaf
, encode : leaf -> Json.Encode.Value
, pathType : TreePath1 a b c d e f g h i leaf -> path }
}
decoder : DecoderConfig a b c d e f g h i leaf path -> Json.Decode.Decoder (Tree10 a b c d e f g h i leaf)
pathDecoder : DecoderConfig a b c d e f g h i leaf path -> Json.Decode.Decoder path
pathEncode1 : DecoderConfig a b c d e f g h i leaf path -> TreePath1 a b c d e f g h i leaf -> Json.Encode.Value
pathEncode2 : DecoderConfig a b c d e f g h i leaf path -> TreePath2 a b c d e f g h i leaf -> Json.Encode.Value
pathEncode3 : DecoderConfig a b c d e f g h i leaf path -> TreePath3 a b c d e f g h i leaf -> Json.Encode.Value
pathEncode4 : DecoderConfig a b c d e f g h i leaf path -> TreePath4 a b c d e f g h i leaf -> Json.Encode.Value
pathEncode5 : DecoderConfig a b c d e f g h i leaf path -> TreePath5 a b c d e f g h i leaf -> Json.Encode.Value
pathEncode6 : DecoderConfig a b c d e f g h i leaf path -> TreePath6 a b c d e f g h i leaf -> Json.Encode.Value
pathEncode7 : DecoderConfig a b c d e f g h i leaf path -> TreePath7 a b c d e f g h i leaf -> Json.Encode.Value
pathEncode8 : DecoderConfig a b c d e f g h i leaf path -> TreePath8 a b c d e f g h i leaf -> Json.Encode.Value
pathEncode9 : DecoderConfig a b c d e f g h i leaf path -> TreePath9 a b c d e f g h i leaf -> Json.Encode.Value
pathEncode10 : DecoderConfig a b c d e f g h i leaf path -> TreePath10 a b c d e f g h i leaf -> Json.Encode.Value
toRootPath : Tree10 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
data1 : TreePath1 a b c d e f g h i leaf -> leaf
data2 : TreePath2 a b c d e f g h i leaf -> TreePath.Data.Data i leaf
data3 : TreePath3 a b c d e f g h i leaf -> TreePath.Data.Data h leaf
data4 : TreePath4 a b c d e f g h i leaf -> TreePath.Data.Data g leaf
data5 : TreePath5 a b c d e f g h i leaf -> TreePath.Data.Data f leaf
data6 : TreePath6 a b c d e f g h i leaf -> TreePath.Data.Data e leaf
data7 : TreePath7 a b c d e f g h i leaf -> TreePath.Data.Data d leaf
data8 : TreePath8 a b c d e f g h i leaf -> TreePath.Data.Data c leaf
data9 : TreePath9 a b c d e f g h i leaf -> TreePath.Data.Data b leaf
data10 : TreePath10 a b c d e f g h i leaf -> TreePath.Data.Data a leaf
top1 : TreePath1 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
up1 : TreePath1 a b c d e f g h i leaf -> Maybe (TreePath2 a b c d e f g h i leaf)
offset1 : Basics.Int -> TreePath1 a b c d e f g h i leaf -> Maybe (TreePath1 a b c d e f g h i leaf)
down1 : Basics.Int -> TreePath1 a b c d e f g h i leaf -> Maybe Basics.Never
downs1 : TreePath1 a b c d e f g h i leaf -> List Basics.Never
top2 : TreePath2 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
up2 : TreePath2 a b c d e f g h i leaf -> Maybe (TreePath3 a b c d e f g h i leaf)
offset2 : Basics.Int -> TreePath2 a b c d e f g h i leaf -> Maybe (TreePath2 a b c d e f g h i leaf)
down2 : Basics.Int -> TreePath2 a b c d e f g h i leaf -> Maybe (TreePath1 a b c d e f g h i leaf)
downs2 : TreePath2 a b c d e f g h i leaf -> List (TreePath1 a b c d e f g h i leaf)
top3 : TreePath3 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
up3 : TreePath3 a b c d e f g h i leaf -> Maybe (TreePath4 a b c d e f g h i leaf)
offset3 : Basics.Int -> TreePath3 a b c d e f g h i leaf -> Maybe (TreePath3 a b c d e f g h i leaf)
down3 : Basics.Int -> TreePath3 a b c d e f g h i leaf -> Maybe (TreePath2 a b c d e f g h i leaf)
downs3 : TreePath3 a b c d e f g h i leaf -> List (TreePath2 a b c d e f g h i leaf)
top4 : TreePath4 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
up4 : TreePath4 a b c d e f g h i leaf -> Maybe (TreePath5 a b c d e f g h i leaf)
offset4 : Basics.Int -> TreePath4 a b c d e f g h i leaf -> Maybe (TreePath4 a b c d e f g h i leaf)
down4 : Basics.Int -> TreePath4 a b c d e f g h i leaf -> Maybe (TreePath3 a b c d e f g h i leaf)
downs4 : TreePath4 a b c d e f g h i leaf -> List (TreePath3 a b c d e f g h i leaf)
top5 : TreePath5 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
up5 : TreePath5 a b c d e f g h i leaf -> Maybe (TreePath6 a b c d e f g h i leaf)
offset5 : Basics.Int -> TreePath5 a b c d e f g h i leaf -> Maybe (TreePath5 a b c d e f g h i leaf)
down5 : Basics.Int -> TreePath5 a b c d e f g h i leaf -> Maybe (TreePath4 a b c d e f g h i leaf)
downs5 : TreePath5 a b c d e f g h i leaf -> List (TreePath4 a b c d e f g h i leaf)
top6 : TreePath6 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
up6 : TreePath6 a b c d e f g h i leaf -> Maybe (TreePath7 a b c d e f g h i leaf)
offset6 : Basics.Int -> TreePath6 a b c d e f g h i leaf -> Maybe (TreePath6 a b c d e f g h i leaf)
down6 : Basics.Int -> TreePath6 a b c d e f g h i leaf -> Maybe (TreePath5 a b c d e f g h i leaf)
downs6 : TreePath6 a b c d e f g h i leaf -> List (TreePath5 a b c d e f g h i leaf)
top7 : TreePath7 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
up7 : TreePath7 a b c d e f g h i leaf -> Maybe (TreePath8 a b c d e f g h i leaf)
offset7 : Basics.Int -> TreePath7 a b c d e f g h i leaf -> Maybe (TreePath7 a b c d e f g h i leaf)
down7 : Basics.Int -> TreePath7 a b c d e f g h i leaf -> Maybe (TreePath6 a b c d e f g h i leaf)
downs7 : TreePath7 a b c d e f g h i leaf -> List (TreePath6 a b c d e f g h i leaf)
top8 : TreePath8 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
up8 : TreePath8 a b c d e f g h i leaf -> Maybe (TreePath9 a b c d e f g h i leaf)
offset8 : Basics.Int -> TreePath8 a b c d e f g h i leaf -> Maybe (TreePath8 a b c d e f g h i leaf)
down8 : Basics.Int -> TreePath8 a b c d e f g h i leaf -> Maybe (TreePath7 a b c d e f g h i leaf)
downs8 : TreePath8 a b c d e f g h i leaf -> List (TreePath7 a b c d e f g h i leaf)
top9 : TreePath9 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
up9 : TreePath9 a b c d e f g h i leaf -> Maybe (TreePath10 a b c d e f g h i leaf)
offset9 : Basics.Int -> TreePath9 a b c d e f g h i leaf -> Maybe (TreePath9 a b c d e f g h i leaf)
down9 : Basics.Int -> TreePath9 a b c d e f g h i leaf -> Maybe (TreePath8 a b c d e f g h i leaf)
downs9 : TreePath9 a b c d e f g h i leaf -> List (TreePath8 a b c d e f g h i leaf)
top10 : TreePath10 a b c d e f g h i leaf -> TreePath10 a b c d e f g h i leaf
up10 : TreePath10 a b c d e f g h i leaf -> Maybe Basics.Never
offset10 : Basics.Int -> TreePath10 a b c d e f g h i leaf -> Maybe (TreePath10 a b c d e f g h i leaf)
down10 : Basics.Int -> TreePath10 a b c d e f g h i leaf -> Maybe (TreePath9 a b c d e f g h i leaf)
downs10 : TreePath10 a b c d e f g h i leaf -> List (TreePath9 a b c d e f g h i leaf)