helio-0.1.2.4: HelIO - HelVM Common Library
Safe HaskellNone
LanguageHaskell2010

HelVM.HelIO.Containers.MTInsertDef

Synopsis

Documentation

naturalInsertDef :: (InsertDef seq, Num $ Index seq) => Natural -> Element seq -> seq -> seq #

Insert a new element

class InsertDef seq where #

Type Class

Methods

insertDef :: Index seq -> Element seq -> seq -> seq #

Instances

Instances details
Default a => InsertDef [a] # 
Instance details

Defined in HelVM.HelIO.Containers.MTInsertDef

Methods

insertDef :: Index [a] -> Element [a] -> [a] -> [a] #

Index (IntMap a) ~ Int => InsertDef (IntMap a) # 
Instance details

Defined in HelVM.HelIO.Containers.MTInsertDef

Methods

insertDef :: Index (IntMap a) -> Element (IntMap a) -> IntMap a -> IntMap a #

Default a => InsertDef (Seq a) # 
Instance details

Defined in HelVM.HelIO.Containers.MTInsertDef

Methods

insertDef :: Index (Seq a) -> Element (Seq a) -> Seq a -> Seq a #

Default a => InsertDef (SList a) #

My instances

Instance details

Defined in HelVM.HelIO.Collections.SList

Methods

insertDef :: Index (SList a) -> Element (SList a) -> SList a -> SList a #