Coverage report: /home/runner/work/geb/geb/src/seqn/package.lisp

Kind	Covered	All	%
expression	0	13	0.0
branch	0	0	nil

Key

Not instrumented

Conditionalized out

Executed

Not executed

Both branches taken

One branch taken

Neither branch taken

1

(in-package :geb.utils)

2

3

(muffle-package-variance

4

(uiop:define-package #:geb.seqn.main

5

(:mix #:geb.mixins #:geb.generics #:geb.spec

6

#:geb.extension.spec #:geb.seqn.spec

7

#:serapeum #:common-lisp)

8

(:export :cod :dom #:@seqn-api)))

9

10

(in-package :geb.seqn.main)

11

12

(pax:defsection @seqn-api (:title "seqn api")

13

"this covers the seqn api"

14

(fill-in pax:function)

15

(prod-list pax:function)

16

(seq-max-fill pax:function)

17

(width (pax:method () (<substobj>)))

18

(width (pax:method () (<natobj>)))

19

(inj-coprod-parallel pax:function)

20

(zero-list pax:function)

21

(dom (pax:method () (<seqn>)))

22

(cod (pax:method () (<seqn>)))

23

(well-defp-cat (pax:method () (<seqn>)))

24

(gapply (pax:method () (<seqn> t))))

25

26

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

27

;;; trans module

28

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

29

30

(geb.utils:muffle-package-variance

31

(defpackage #:geb.seqn.trans

32

(:local-nicknames (#:vamp #:geb.vampir.spec))

33

(:use #:geb.mixins #:geb.generics #:geb.spec

34

#:geb.extension.spec #:geb.seqn.spec #:geb.seqn.main

35

#:serapeum #:common-lisp)

36

(:shadowing-import-from #:common-lisp #:case)

37

(:shadowing-import-from #:geb.spec #:prod)))

38

39

(in-package :geb.seqn.trans)

40

41

(pax:defsection @seqb-trans (:title "Seqn Transformations")

42

"This covers transformation functions from"

43

(to-circuit (pax:method () (<seqn> t)))

44

(to-vampir (pax:method () (id t t)))

45

(to-vampir (pax:method () (composition t t)))

46

(to-vampir (pax:method () (parallel-seq t t)))

47

(to-vampir (pax:method () (fork-seq t t)))

48

(to-vampir (pax:method () (drop-nil t t)))

49

(to-vampir (pax:method () (remove-right t t)))

50

(to-vampir (pax:method () (remove-left t t)))

51

(to-vampir (pax:method () (drop-width t t)))

52

(to-vampir (pax:method () (inj-length-left t t)))

53

(to-vampir (pax:method () (inj-length-right t t)))

54

(to-vampir (pax:method () (inj-size t t)))

55

(to-vampir (pax:method () (branch-seq t t)))

56

(to-vampir (pax:method () (shift-front t t)))

57

(to-vampir (pax:method () (zero-bit t t)))

58

(to-vampir (pax:method () (one-bit t t)))

59

(to-vampir (pax:method () (seqn-add t t)))

60

(to-vampir (pax:method () (seqn-subtract t t)))

61

(to-vampir (pax:method () (seqn-multiply t t)))

62

(to-vampir (pax:method () (seqn-divide t t)))

63

(to-vampir (pax:method () (seqn-nat t t)))

64

(to-vampir (pax:method () (seqn-concat t t))))

65

66

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

67

;;; seqn module

68

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

69

70

71

(geb.utils:muffle-package-variance

72

(uiop:define-package #:geb.seqn

73

(:mix #:geb.mixins #:geb.generics #:geb.spec #:geb.seqn.trans

74

#:geb.seqn.spec #:geb.seqn.main #:common-lisp)

75

(:export #:@seqn-manual)))

76

77

(in-package :geb.seqn)

78

79

(pax:defsection @seqn-manual (:title "Seqn Specification")

80

"This covers a GEB view of multibit sequences. In particular this type will

81

be used in translating GEB's view of multibit sequences into Vampir"

82

(@seqn pax:section)

83

(@seqn-constructors pax:section)

84

(@seqn-api pax:section)

85

(geb.seqn.trans::@seqb-trans pax:section))