/*
 * 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<any>;
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export function erstellen_nichts<typ_wert>
			(
			)
			: typ_fehlermonade<typ_wert>
			{
				return (
					lib_aufruf.einpacken<any>
						(
							"nichts",
							{
							}
						)
				);
			}
		
			
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export function erstellen_schlicht<typ_wert>
			(
				wert : typ_wert
			)
			: typ_fehlermonade<typ_wert>
			{
				return (
					lib_aufruf.einpacken<any>
						(
							"schlicht",
							{
								"wert": wert
							}
						)
				);
			}
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export function voll<typ_wert>
			(
				fehlermonade : typ_fehlermonade<typ_wert>
			)
			: boolean
			{
				return (
					lib_aufruf.fallunterscheidung<any>
						(
							fehlermonade,
							{
								"nichts": ({}) => false,
								"schlicht": ({"wert": wert}) => true,
							}
						)
				);
			}
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export function lesen<typ_wert>
			(
				fehlermonade : typ_fehlermonade<typ_wert>
			)
			: typ_wert
			{
				return (
					lib_aufruf.fallunterscheidung<any>
						(
							fehlermonade,
							{
								"nichts": ({}) => {throw (new Error("lesen von nichts"));},
								"schlicht": ({"wert": wert}) => wert,
							}
						)
				);
			}
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export function fortfuehren<typ_wert1, typ_wert2>
			(
				fehlermonade : typ_fehlermonade<typ_wert1>,
				funktion : (wert1 : typ_wert1)=>typ_fehlermonade<typ_wert2>
			)
			: typ_fehlermonade<typ_wert2>
			{
				return (
					lib_aufruf.fallunterscheidung<any>
						(
							fehlermonade,
							{
								"nichts": ({}) => erstellen_nichts<typ_wert2>(),
								"schlicht": ({"wert": wert1}) => funktion(wert1),
							}
						)
				);
			}
		
	}