TreePath.Tree4

This module provides types and functions for managing a strongly typed tree of depth 4. Each level of the tree can have its own type, and each level can contain Data either of that type, or the leaf type.

Definition

type alias Tree a b c leaf =

Tree4 a b c leaf

type TreePath1 a b c leaf

type TreePath2 a b c leaf

type TreePath3 a b c leaf

type TreePath4 a b c leaf

Encoders and decoders

type alias DecoderConfig a b c leaf path =

{ level4 :

{ decoder : Decoder a

, encoders : a -> List ( String, Value )

, pathType : TreePath4 a b c leaf -> path

, childrenField : String

}

, level3 :

{ decoder : Decoder b

, encoders : b -> List ( String, Value )

, pathType : TreePath3 a b c leaf -> path

, childrenField : String

}

, level2 :

{ decoder : Decoder c

, encoders : c -> List ( String, Value )

, pathType : TreePath2 a b c leaf -> path

, childrenField : String

}

, leaf :

{ decoder : Decoder leaf

, encode : leaf -> Value

, pathType : TreePath1 a b c leaf -> path

}

decoder : DecoderConfig a b c leaf path -> Decoder (Tree4 a b c leaf)

pathDecoder : DecoderConfig a b c leaf path -> Decoder path

pathEncode1 : DecoderConfig a b c leaf path -> TreePath1 a b c leaf -> Value

pathEncode2 : DecoderConfig a b c leaf path -> TreePath2 a b c leaf -> Value

pathEncode3 : DecoderConfig a b c leaf path -> TreePath3 a b c leaf -> Value

pathEncode4 : DecoderConfig a b c leaf path -> TreePath4 a b c leaf -> Value

Path constructor

toRootPath : Tree4 a b c leaf -> TreePath4 a b c leaf

Data

data1 : TreePath1 a b c leaf -> leaf

data2 : TreePath2 a b c leaf -> Data c leaf

data3 : TreePath3 a b c leaf -> Data b leaf

data4 : TreePath4 a b c leaf -> Data a leaf

top1 : TreePath1 a b c leaf -> TreePath4 a b c leaf

up1 : TreePath1 a b c leaf -> Maybe (TreePath2 a b c leaf)

offset1 : Int -> TreePath1 a b c leaf -> Maybe (TreePath1 a b c leaf)

down1 : Int -> TreePath1 a b c leaf -> Maybe Never

downs1 : TreePath1 a b c leaf -> List Never

top2 : TreePath2 a b c leaf -> TreePath4 a b c leaf

up2 : TreePath2 a b c leaf -> Maybe (TreePath3 a b c leaf)

offset2 : Int -> TreePath2 a b c leaf -> Maybe (TreePath2 a b c leaf)

down2 : Int -> TreePath2 a b c leaf -> Maybe (TreePath1 a b c leaf)

downs2 : TreePath2 a b c leaf -> List (TreePath1 a b c leaf)

top3 : TreePath3 a b c leaf -> TreePath4 a b c leaf

up3 : TreePath3 a b c leaf -> Maybe (TreePath4 a b c leaf)

offset3 : Int -> TreePath3 a b c leaf -> Maybe (TreePath3 a b c leaf)

down3 : Int -> TreePath3 a b c leaf -> Maybe (TreePath2 a b c leaf)

downs3 : TreePath3 a b c leaf -> List (TreePath2 a b c leaf)

top4 : TreePath4 a b c leaf -> TreePath4 a b c leaf

up4 : TreePath4 a b c leaf -> Maybe Never

offset4 : Int -> TreePath4 a b c leaf -> Maybe (TreePath4 a b c leaf)

down4 : Int -> TreePath4 a b c leaf -> Maybe (TreePath3 a b c leaf)

downs4 : TreePath4 a b c leaf -> List (TreePath3 a b c leaf)

ccapndave/elm-typed-tree/1.0.0

TreePath.Tree4

Definition

Encoders and decoders

Path constructor

Data

Navigation

Modules