twee-0.1: An equational theorem prover
Twee.Array
data Array a Source #
Constructors
Fields
Instances
Methods
showsPrec :: Int -> Array a -> ShowS #
show :: Array a -> String #
showList :: [Array a] -> ShowS #
class Default a where Source #
Minimal complete definition
def
def :: a Source #
def :: Index a Source #
toList :: Array a -> [(Int, a)] Source #
newArray :: Default a => Array a Source #
(!) :: Default a => Array a -> Int -> a Source #
update :: Default a => Int -> a -> Array a -> Array a Source #