diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-10-20 17:01:38 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-10-20 17:04:10 +0200 |
| commit | 2991f01c1867d6431d50d0e1309522b005de4bde (patch) | |
| tree | cc7cb093ff2d59d04a861038c13b8fcbb5d260d2 /Precond.agda | |
| parent | 58bce3d887d1e5fef24254098819dd09e900fb4c (diff) | |
| download | bidiragda-2991f01c1867d6431d50d0e1309522b005de4bde.tar.gz | |
change restrict and fromAscList to work with Vec
While they do work with Lists and there is no inherent need to know the
length, they are most often invoked in a context where a Vec needs to be
converted to a List using toList. By changing them to work with Vec,
quite a few toList calls can be dropped.
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions