ivaldi/source/types.ts

/*
This file is part of »ivaldi«.

Copyright 2025 'Fenris Wolf' <fenris@folksprak.org>

»ivaldi« is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

»ivaldi« 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 Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License
along with »ivaldi«. If not, see <http://www.gnu.org/licenses/>.
 */

namespace _ivaldi
{
	
	/**
	 */
	type type_lib = (
		{
			kind : "node";
			data : {
				modules : Array<string>;
			};
		}
		|
		{
			kind : "plankton";
			data : {
				modules : Array<string>;
			};
		}
	);


	/**
	 */
	export type type_app = {
		name : string;
		sources : Array<string>;
		additional_dependencies : Array<string>;
		destination : string;
		head : (null | string);
		executable : boolean;
	};
	
	
	/**
	 */
	export type type_data = {
		version : string;
		name : string;
		target : ("node" | "web");
		settings : {
			typescript : {
				command : string;
				libs : Array<string>;
			};
		};
		directories : {
			lib : string;
			source : string;
			misc : string;
			temp : string;
			build : string;
			makefile : string;
		};
		libs : {
			plankton : (null | Array<string>);
			node : (null | Array<string>);
		};
		core : Array<string>;
		apps : Array<
			type_app
		>;
		custom_rules: Array<
			{
				targets : Array<string>;
				dependencies : Array<string>;
				actions : Array<string>;
				info : (null | string);

			}
		>;
	};
	
}