twee-0.1: An equational theorem prover

Safe HaskellNone
LanguageHaskell2010

Twee.Array

Documentation

data Array a Source #

Constructors

Array 

Fields

Instances

Show a => Show (Array a) Source # 

Methods

showsPrec :: Int -> Array a -> ShowS #

show :: Array a -> String #

showList :: [Array a] -> ShowS #

class Default a where Source #

Minimal complete definition

def

Methods

def :: a Source #

Instances

Default (Index a) Source # 

Methods

def :: Index a Source #

toList :: Array a -> [(Int, a)] Source #

(!) :: Default a => Array a -> Int -> a Source #

update :: Default a => Int -> a -> Array a -> Array a Source #