From 3ef5af7cc449d0fe350dc4033ce49071d0abfa87 Mon Sep 17 00:00:00 2001
From: Christian Cunningham <cc@localhost>
Date: Sun, 14 Jul 2024 09:53:57 -0700
Subject: Rename to Maybe Monad

---
 monad.inc | 40 ++++++++++++++++++++--------------------
 1 file changed, 20 insertions(+), 20 deletions(-)

diff --git a/monad.inc b/monad.inc
index 18d8552..97c6cd3 100644
--- a/monad.inc
+++ b/monad.inc
@@ -4,9 +4,9 @@
 %include "alloc.inc"
 %endif
 
-struc	Monad
-just:	resq 1
-exist:	resb 1
+struc	MaybeMonad
+mm_v:	resq 1
+mm_e:	resb 1
 endstruc
 
 %macro	m_make	1-3	0,0
@@ -14,9 +14,9 @@ endstruc
 	;; %2 = Address of Structure
 	;; %3 = Something > 0, Nothing = 0
 m_%1:
-	istruc Monad
-	at just, dq %2 ; The address of the Monad-wrapped structure
-	at exist, db %3		  ; Something > 0, Nothing = 0
+	istruc MaybeMonad
+	at mm_v, dq %2 ; The address of the MaybeMonad-wrapped structure
+	at mm_e, db %3		  ; Something > 0, Nothing = 0
 	iend
 %endm
 
@@ -26,14 +26,14 @@ m_%1:
 	;; %3 = Something > 0, Nothing = 0
 	%if %2 != 0
 	lea	rax,	[rel %2]
-	mov	qword [%1+just],	rax
+	mov	qword [%1+mm_v],	rax
 	%else
-	mov	qword [%1+just],	0
+	mov	qword [%1+mm_v],	0
 	%endif
 	%if %3 != 0
-	mov	byte [%1+exist],	%3
+	mov	byte [%1+mm_e],	%3
 	%else
-	mov	byte [%1+exist],	0
+	mov	byte [%1+mm_e],	0
 	%endif
 	lea	rax,	[%1]
 %endm
@@ -48,39 +48,39 @@ m_%1:
 %endm
 	
 %macro	m_bind	1-2	rax
-	;; %1 = Callable Function with Single Argument, the Unwrapped Monad
-	;; %2 = Monad
+	;; %1 = Callable Function with Single Argument, the Unwrapped MaybeMonad
+	;; %2 = MaybeMonad
 	;; m a -> (a -> m b) -> m b
 	lea	rax,	[%2]
 	mov	rcx,	rax
-	mov	al,	byte [rcx + exist]
+	mov	al,	byte [rcx + mm_e]
 	cmp	al,	0
 	je	%%exit
-	mov	rax,	[rcx + just]
+	mov	rax,	[rcx + mm_v]
 	call	%1
 %%exit:
 %endmacro
 	
 %macro	m_call	1-2	rax
-	;; %1 = Callable Function with Single Argument, the Unwrapped Monad
-	;; %2 = Monad
+	;; %1 = Callable Function with Single Argument, the Unwrapped MaybeMonad
+	;; %2 = MaybeMonad
 	;; m a -> (a -> !) -> !
 	lea	rax,	[%2]
 	mov	rcx,	rax
-	mov	al,	byte [rcx + exist]
+	mov	al,	byte [rcx + mm_e]
 	cmp	al,	0
 	je	%%exit
-	mov	rax,	[rcx + just]
+	mov	rax,	[rcx + mm_v]
 	call	%1
 %%exit:
 %endmacro
 
 %macro	alloc_m	0
-	alloc	Monad_size
+	alloc	MaybeMonad_size
 %endm
 
 %macro	free_m	0-1	rax
-	free	%1,	Monad_size
+	free	%1,	MaybeMonad_size
 %endm
 
 %endif
-- 
cgit v1.2.1