bernerbrau

Monad

A type T is a subtype of type M[X] iff:

1. There exists a function unit of type X → M[X]
2. There exists a function bind of type (M[X], X → R) → R
3. For all x:X and f:X→R : bind(unit(x),f) ≡ f(x)

Notes

The natural inclination is to ask, "What are the semantics here?" but it turns out that the semantics depend wholly on the

bernerbrau

/* Project: continuum
 * File: WeblogicAnnotationConfigEmbeddedWebApplicationConfiguration.java
 * Created: Mar 31, 2017
 * Author: Derek Berner - derek.c.berner@vanderbilt.edu
 *
 * This code is copyright (c) 2017 Vanderbilt University Medical Center
 */
package org.vumc.weblogic;

import com.google.common.collect.Lists;

bernerbrau

As the Wyrm Turns

Current Scene

Book Aspects

Chapter Aspects

Scene Aspects

bernerbrau

Conditions:
•	Actionability
o	Events:
•	Can be completed
•	Not Currently Completed
o	Completed
o	Reactivate Completed Order
•	Not currently sent to any ancillary system
o	Send To Ancillary System
o	Reactivate

bernerbrau

	<context:annotation-config />
	
	<!-- System Properties -->
	<context:property-placeholder
		system-properties-mode="OVERRIDE" ignore-unresolvable="true" />
	<!-- Externally Configured Properties -->
	<util:list id="configLocations">
		<value>classpath:defaultConfig.properties</value>
		<value>file:${externalConfiguration:}</value>
	</util:list>