Skip to content

Instantly share code, notes, and snippets.

View paulyoung's full-sized avatar
💭
Type check and prove things

Paul Young paulyoung

💭
Type check and prove things
View GitHub Profile
// FYI I also auto set the version and build on the About tab with the following code
NSDictionary *infoDictionary = [[NSBundle mainBundle] infoDictionary];
NSString *appDisplayName = infoDictionary[@"CFBundleDisplayName"];
NSString *majorVersion = infoDictionary[@"CFBundleShortVersionString"];
NSString *minorVersion = infoDictionary[@"CFBundleVersion"];
self.appDescription.text = [NSString stringWithFormat:@"Dirty Dog Software\n%@\nVersion: %@(%@)",
appDisplayName, majorVersion, minorVersion];
$ strings /Applications/Xcode-Beta.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/sourcekitd.framework/Versions/Current/XPCServices/SourceKitService.xpc/Contents/MacOS/SourceKitService|grep source\\. | sort
source.availability.platform.ios
source.availability.platform.ios_app_extension
source.availability.platform.osx
source.availability.platform.osx_app_extension
source.codecompletion.context.exprspecific
source.codecompletion.context.local
source.codecompletion.context.none
source.codecompletion.context.otherclass
@paulyoung
paulyoung / UIColor.swift
Created May 8, 2015 17:34
GoldenGate/UIKit/UIColor.swift
import UIKit
import JavaScriptCore
@objc protocol UIColorJSExport: class, JSExport {
// Mark: - Creating a UIColor with Preset Component Values
class func blackColor() -> UIColor
class func blueColor() -> UIColor
class func brownColor() -> UIColor
@paulyoung
paulyoung / println.swift
Created May 8, 2015 17:37
GoldenGate/Swift/println.swift
import JavaScriptCore
let println: @objc_block AnyObject! -> Void = { object in
Swift.println(object)
}
Verifying I am +py on my passcard. https://onename.com/py
Header 1 Header 2 Header 3
Cell 1 Cell 2 Cell 3
Cell 4 Cell 5 Cell 6
-- | Based on http://www.fewbutripe.com/swift/html/dsl/2017/06/29/composable-html-views-in-swift.html
module Main where
import Prelude
import React as R
import React.DOM as R
import React.DOM.Props as RP
import Thermite hiding (defaultMain) as T
import Thermite.Try as T
module Main where
import Prelude
import Control.Monad.Except (runExcept)
import Data.Either (Either(..))
import Data.Maybe (Maybe(..))
import Effect.Console (log, logShow)
import Foreign (F)
import Foreign.Generic (defaultOptions, genericDecodeJSON, genericEncodeJSON)