/*
 * Verrückte Turing-Maschinen — A turing complete game
 * Copyright (C) 2016 Christian Fraß <vidofnir@folksprak.org>
 * 
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */

module lib_fehlermonade
	{
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export type typ_fehlermonade<typ_wert> = lib_aufruf.typ_komplex<typ_wert>;
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export type signatur_fehlermonade<typ_wert> =
			{
				voll : (fehlermonade : typ_fehlermonade<typ_wert>)=>boolean;
				lesen : (fehlermonade : typ_fehlermonade<typ_wert>)=>typ_wert;
			}
		;
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export var brauch_fehlermonade : lib_brauch.typ_brauch<signatur_fehlermonade<any>> = lib_brauch.erstellen<signatur_fehlermonade<any>>();
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export function voll<typ_wert>(fehlermonade : typ_fehlermonade<typ_wert>) : boolean
			{
				return lib_brauch.anwenden(brauch_fehlermonade, fehlermonade.art)["voll"](fehlermonade);
			}
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export function lesen<typ_wert>(fehlermonade : typ_fehlermonade<typ_wert>) : typ_wert
			{
				return lib_brauch.anwenden(brauch_fehlermonade, fehlermonade.art)["lesen"](fehlermonade);
			}
		
	}