mirror of
				https://github.com/KevinMidboe/linguist.git
				synced 2025-10-29 17:50:22 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			15 lines
		
	
	
		
			293 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			15 lines
		
	
	
		
			293 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
definition module stack
 | 
						|
 | 
						|
:: Stack a
 | 
						|
 | 
						|
newStack :: (Stack a)
 | 
						|
push :: a (Stack a) -> Stack a
 | 
						|
pushes :: [a] (Stack a) -> Stack a
 | 
						|
pop :: (Stack a) -> Stack a
 | 
						|
popn :: Int (Stack a) -> Stack a
 | 
						|
top :: (Stack a) -> a
 | 
						|
topn :: Int (Stack a) -> [a]
 | 
						|
elements :: (Stack a) -> [a]
 | 
						|
count :: (Stack a) -> Int
 | 
						|
 |