Open Seasawher opened 1 week ago
例:List (Option α) を none を無視して平坦化して List αを得る関数あるかな
List (Option _) → List _ で検索すればOK
List (Option _) → List _
例:List (Option α) を none を無視して平坦化して List αを得る関数あるかな
List (Option _) → List _
で検索すればOK