Data.Container.Base.Properties.Instances

Definitions

fromList : List a -> List' a

Visibility: public export

toList : List' a -> List a

Visibility: public export

fromVect : Vect n a -> Vect' n a

Visibility: public export

toVect : Vect' n a -> Vect n a

Visibility: public export

fromBinTreeSame : BinTreeSame a -> BinTree' a

Visibility: public export

toBinTreeSame : BinTree' a -> BinTreeSame a

Visibility: public export

fromTreeHelper : BinTreePosNode LeafS -> a

Visibility: public export

fromBinTreeNode : BinTreeNode a -> BinTreeNode' a

Visibility: public export

toBinTreeNode : BinTreeNode' a -> BinTreeNode a

Visibility: public export

fromBinTreeLeaf : BinTreeLeaf a -> BinTreeLeaf' a

Visibility: public export

toBinTreeLeaf : BinTreeLeaf' a -> BinTreeLeaf a

Visibility: public export

foldList : (a -> b -> b) -> b -> List' a -> b

Visibility: public export