no longer on github no-longer-on-githu-b
no-longer-on-githu-b
/ gist:d77e22ad5c47c4a17eab
Created
August 8, 2014 11:04
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def saveUser(ds: DataSource)(user: User): UserID = { | |
| // blabla | |
| } | |
| abstract class UserValidationError | |
| case object FirstNameEmpty extends UserValidationError | |
| case object LastNameEmpty extends UserValidationError | |
| def createUser(saveUser: User => UserID)(firstName: String, lastName: String): ValidationNel[UserValidationError, UserID] = { | |
| def validateFirstName(name: String) = if (name.isEmpty) FirstNameEmpty.fail else name.success |
no-longer-on-githu-b
/ gist:b8e692107c258e4f6b7a
Created
August 8, 2014 11:04
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def saveUser(ds: DataSource)(user: User): UserID = { | |
| // blabla | |
| } | |
| abstract class UserValidationError | |
| case object FirstNameEmpty extends UserValidationError | |
| case object LastNameEmpty extends UserValidationError | |
| def createUser(saveUser: User => UserID)(firstName: String, lastName: String): ValidationNel[UserValidationError, UserID] = { | |
| def validateFirstName(name: String) = if (name.isEmpty) FirstNameEmpty.fail else name.success |
no-longer-on-githu-b
/ gist:35cc73a51a8c27be8710
Created
August 8, 2014 11:04
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def saveUser(ds: DataSource)(user: User): UserID = { | |
| // blabla | |
| } | |
| abstract class UserValidationError | |
| case object FirstNameEmpty extends UserValidationError | |
| case object LastNameEmpty extends UserValidationError | |
| def createUser(saveUser: User => UserID)(firstName: String, lastName: String): ValidationNel[UserValidationError, UserID] = { | |
| def validateFirstName(name: String) = if (name.isEmpty) FirstNameEmpty.fail else name.success |
no-longer-on-githu-b
/ gist:c4a5bc632896097ad38d
Last active
August 29, 2015 14:05
— forked from anonymous/gist:24f235f84c8fcaed03b2
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| f :: obj1 -> obj2 | |
| class Diffable delta obj | |
| applyDiff :: delta -> obj -> obj | |
| instance Diffable obj1Delta obj1 | |
| instance Diffable obj2Delta obj2 | |
| class PipeThroughDiff o1 d1 o2 d2 where | |
| pipeThroughDiff :: o1 -> d1 -> o2 -> d2 |
no-longer-on-githu-b
/ gist:204f8c7ccc97d83e2b04
Last active
August 29, 2015 14:04
— forked from anonymous/gist:e1ed418d0553b9dceee1
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| data TExpr | |
| = TInt Int | |
| | TBool Bool | |
| | TStructVal (Map String TExpr) | |
| | TVar StrictText | |
| | TSum [TExpr] |
no-longer-on-githu-b
/ gist:50ab382ede3300d39d11
Created
August 5, 2014 08:28
— forked from anonymous/gist:15042bf07555e7ed9934
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| data TType = TypeInt | TypeBool | TypeVec TType | |
| data TExpr a where | |
| TInt :: Int -> TExpr Int | |
| TBool :: Bool -> TExpr Bool | |
| TIVar :: StrictText -> TExpr Int | |
| TBVar :: StrictText -> TExpr Bool | |
| TSum :: [TExpr Int] -> TExpr Int | |
| TVecGet :: |
no-longer-on-githu-b
/ LoveLetter.fs
Created
July 19, 2014 13:23
— forked from bananu7/LoveLetter.fs
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Learn more about F# at http://fsharp.net | |
| // See the 'F# Tutorial' project for more help. | |
| open System.Linq | |
| open System.Collections.Generic | |
| open System | |
| type Card = | |
| | Guard |
no-longer-on-githu-b
/ Return_T_no_matter_what.c++
Created
June 17, 2014 21:06
— forked from ThePhD/Return_T_no_matter_what.c++
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| T& value( ) const { | |
| typedef decltype( std::addressof( storage ) ) storage_address_t; | |
| typedef typename std::conditional<std::is_const<T>::value, const void, void>::type void_t; | |
| typedef typename std::remove_const<storage_address_t>::type address_t; | |
| return *static_cast<T*>( static_cast<void_t*>( const_cast<address_t>( std::addressof( storage ) ) ) ); | |
| } |
no-longer-on-githu-b
/ gist:11324960
Last active
August 29, 2015 14:00
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| namespace ErSharp { | |
| public sealed class Sender<T> { | |
| private BlockingCollection<T> Queue; | |
| internal Sender(BlockingCollection<T> queue) { | |
| Queue = queue; | |
| } | |
| public void Send(T value) { | |
| queue.Add(value); |
no-longer-on-githu-b
/ jsPlumb_poc.html
Created
April 24, 2014 14:59
— forked from bananu7/jsPlumb_poc.html
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!doctype html> | |
| <html><head></head> | |
| <head> | |
| <style type="text/css"> | |
| div.block { | |
| background-color: #36C; | |
| min-width: 200px; | |
| height: 100px; | |
| float: left; |