Coverage report: /home/runner/work/geb/geb/src/mixins/cat.lisp

KindCoveredAll%
expression06 0.0
branch00nil
Key
Not instrumented
Conditionalized out
Executed
Not executed
 
Both branches taken
One branch taken
Neither branch taken
1
 (in-package :geb.mixins)
2
 
3
 (defclass cat-morph () ()
4
   (:documentation
5
    "I offer the service of being a base categorical morphism with no
6
 extesnions"))
7
 
8
 (defclass cat-obj () ()
9
   (:documentation
10
    "I offer the service of being a base category objects with no
11
 extesnions"))
12
 
13
 
14
 (defgeneric dom (cat-morph)
15
   (:documentation "Grabs the domain of the morphism. Returns a [CAT-OBJ][class]"))
16
 
17
 (defgeneric codom (cat-morph)
18
   (:documentation "Grabs the codomain of the morphism. Returns a [CAT-OBJ][class]"))
19
 
20
 (defgeneric curry-prod (cat-morph cat-left cat-right)
21
   (:documentation "Curries the given product type given the
22
 product. This returns a [CAT-MORPH][class].
23
 
24
 This interface version takes the left and right product type to
25
 properly dispatch on. Instances should specalize on the CAT-RIGHT argument
26
 
27
 Use [GEB.MAIN:CURRY][function] instead."))