DataTreeView.StrictTypes

Remark: the heavy use of strictness here is for correctly catching exceptions, not for performance reasons

Documentation

module Data.Tree

module Data.Monoid

Strict lists

data StrictList a

Instances

Functor StrictList

Typeable1 StrictList

Foldable StrictList

Traversable StrictList

Data a => Data (StrictList a)

Show a => Show (StrictList a)

Monoid (StrictList a)

Empty list and appending

ToStrictTree x a => ToStrictForest (StrictList x) a

ToStrictList (StrictList a) a

Identity

Construction

class ToStrictList x a where

Methods

strictList :: x -> StrictList a

Instances

ToStrictList a a

Singleton

ToStrictList [a] a

From lazy list

ToStrictList (StrictList a) a

Identity

ToStrictList x a => ToStrictList (a, x) a

Cons

Modification

drop :: Integral a => a -> StrictList t -> StrictList t

Destruction

fromStrictList :: StrictList a -> [a]

foldl' :: (r -> a -> r) -> r -> StrictList a -> r

Strict trees and forests

data StrictTree a

Instances

Functor StrictTree

Typeable1 StrictTree

Foldable StrictTree

Traversable StrictTree

Data a => Data (StrictTree a)

Show a => Show (StrictTree a)

ToStrictTree (StrictTree a) a

Identity

type StrictForest a = StrictList (StrictTree a)

Construction

class ToStrictTree x a where

Methods

strictTree :: x -> StrictTree a

Instances

ToStrictTree a a

Leaf

ToStrictTree (Tree a) a

From lazy tree

ToStrictTree (StrictTree a) a

Identity

ToStrictForest y a => ToStrictTree (a, y) a

From node value and subforest

class ToStrictForest y a where

Methods

strictForest :: y -> StrictForest a

Instances

ToStrictTree x a => ToStrictForest [x] a

ToStrictForest (StrictForest a) a

Identity

ToStrictTree x a => ToStrictForest (StrictList x) a

Destruction

nodeValue :: StrictTree a -> a

nodeChildren :: StrictTree t -> [StrictTree t]

fromStrictTree :: StrictTree a -> Tree a

fromStrictForest :: StrictForest a -> Forest a