以下が、現時点(2018/9/3)の安定版のバージョン。
$ node -v
| <head> | |
| <title>Spin radio button</title> | |
| <link rel="stylesheet" href="style.css"> | |
| </head> | |
| <body> | |
| <div class="forms-area"> | |
| <h3>性別</h3> | |
| <div class="classic-area"> | |
| <div class="" ><input type="radio" name="classic-gender" value="1"> 男性</div> | |
| <div class="" ><input type="radio" name="classic-gender" value="2"> 女性</div> |
| @ def foo[T: scala.reflect.ClassTag](obj: Any): Unit = obj match { | |
| case t: T => println(t.getClass.getName) | |
| case _ => println("ng") | |
| } | |
| defined function foo | |
| @ foo[Int](1) | |
| java.lang.Integer | |
| -- |A @'Trie' a b@ is a map with keys of type @[a]@ and values of type @b@. | |
| data Trie a b = Fork (Maybe b) (Map a (Trie a b)) | |
| deriving (Show, Eq) | |
| instance (Ord a, Arbitrary a, Arbitrary b) => Arbitrary (Trie a b) where | |
| arbitrary :: Gen (Trie a b) | |
| arbitrary = sized $ \n -> if n == 0 -- We interpret the size n as maximum number of values | |
| -- stored in the trie. | |
| then return empty -- If the n == 0, the trie must be empty. |
| #!/bin/env stack | |
| {- | |
| stack --resolver=lts-12.24 script --package extensible | |
| -} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE OverloadedLabels #-} | |
| {-# LANGUAGE PolyKinds #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE GADTs #-} |
| /** | |
| * SimpleExpandableListAdapterのコンストラクタが受け取る引数が | |
| * 何を言っているのか全然わからないので、 | |
| * 自然な形のやつ。 | |
| * | |
| * @param Child CShowによって表示可能な子 | |
| * @param clever リストアップされる親と子の木 | |
| * @param CShow 子を表示する方法 | |
| */ | |
| class BasicDataExpandableListAdapter<Child>( |
| import * as Untyped from 'tns-core-modules/data/observable' | |
| import deprecated from 'deprecated-decorator' // npm install --save-dev deprecated-decorator | |
| import { Field } from '@/data/conditional-types' | |
| /** | |
| * Don't dirty your hands. | |
| * You must use this instead of [[Untyped.Observable]]. | |
| * | |
| * This description is [here](http://aiya000.github.io/posts/2019-07-04-recover-nativescript-type-unsafe-observable.html). | |
| */ |