Tom Lokhorst tomlokhorst

SegueManager has been moved to a CocoaPod, see the repository.

It is still possible to use it by just copying a single file into your project:

	// Functor type class ported to C#
	// Only tested with: Mono C# compiler version 2.4.2.3
	//
	// Because .NET doesn't support higher kinded generics, we can't exactly port
	// the Functor type class.
	// However, if we're willing to give up a bit of type safety, we can get the
	// IFuctor interface to work.
	//
	// We only have to add a single type cast, directly after using fmap. E.g:
	// var xs = new List<int>();

	// Read type class ported to C#
	// Only tested with: Mono C# compiler version 2.4.2.3
	//
	// Because there are no static interface members, new instances of the
	// Dictionary classes have to be created (although they contain no state).
	//
	// The functions using the read method (like mulStrings) explicitly mention
	// `int` in IReadDictionary<int>, but that's just like `x = read "4" :: Int` in
	// Haskell.
	//

	// Monad type class ported to C#
	// Only tested with: Mono C# compiler version 2.4.2.3
	//
	// The Monad type class has been split up into two .NET interface:
	// - IMonad<A> has functions that can be applied _to_ monads (i.e. bind)
	// - IMonadDictionary<A> has functions that _create_ monads (i.e. unit)
	//
	// Because .NET doesn't support higher kinded generics, we loose a bit of
	// type safety. After calling `bind`, the return value has to be casted to
	// the proper type.

	// Current (C# 5) syntax
	var request = new CreateIndexRequest("new-index-name")
	{
	IndexSettings = new IndexSettings
	{
	Settings = new Dictionary<string, object>
	{
	{"index.settings", "value"}
	},
	Mappings = new List<RootObjectMapping>

	func unwrap<T1, T2>(optional1: T1?, optional2: T2?) -> (T1, T2)? {
	switch (optional1, optional2) {
	case let (.Some(value1), .Some(value2)):
	return (value1, value2)
	default:
	return nil
	}
	}

	func unwrap<T1, T2, T3>(optional1: T1?, optional2: T2?, optional3: T3?) -> (T1, T2, T3)? {

	function fixMapScrollwheel(map) {
	map.setOptions({ scrollwheel: false });

	google.maps.event.addListener(map, 'click', function() {
	map.setOptions({ scrollwheel: true });
	});

	google.maps.event.addListener(map, 'mouseout', function() {
	map.setOptions({ scrollwheel: false });
	});