よく忘れるやつ
$ git checkout branch_b
$ git merge branch_a
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). | |
*/ |
/** | |
* SimpleExpandableListAdapterのコンストラクタが受け取る引数が | |
* 何を言っているのか全然わからないので、 | |
* 自然な形のやつ。 | |
* | |
* @param Child CShowによって表示可能な子 | |
* @param clever リストアップされる親と子の木 | |
* @param CShow 子を表示する方法 | |
*/ | |
class BasicDataExpandableListAdapter<Child>( |
#!/bin/env stack | |
{- | |
stack --resolver=lts-12.24 script --package extensible | |
-} | |
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE OverloadedLabels #-} | |
{-# LANGUAGE PolyKinds #-} | |
{-# LANGUAGE TypeOperators #-} | |
{-# LANGUAGE GADTs #-} |
-- |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. |
@ 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 | |
<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> |