Idris2Doc : Data.Container.Base.Concrete.Instances

Data.Container.Base.Concrete.Instances

(source)
Reexports
import public Data.Tree
Definitions
toScalar : a -> Scalar' a
  Visibility: public export
extract : Scalar' a -> a
  Visibility: public export
fromMaybe : Maybe a -> Maybe' a
  Visibility: public export
toMaybe : Maybe' a -> Maybe a
  Visibility: public export
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