Prog "FiniteMap" ["Maybe","Prelude"] [TypeSyn ("FiniteMap","LeKey") Private [0] (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))),TypeSyn ("FiniteMap","FiniteSet") Private [0] (TCons ("FiniteMap","FM") [TVar 0,TCons ("Prelude","()") []]),Type ("FiniteMap","FM") Public [0,1] []] [Func ("FiniteMap","emptyFM") 1 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (TCons ("FiniteMap","FM") [TVar 0,TVar 1])) (Rule [] (Var 0)),Func ("FiniteMap","unitFM") 3 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TVar 0) (FuncType (TVar 1) (TCons ("FiniteMap","FM") [TVar 0,TVar 1])))) (Rule [] (Var 0)),Func ("FiniteMap","listToFM") 1 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TVar 0,TVar 1]]) (TCons ("FiniteMap","FM") [TVar 0,TVar 1]))) (Rule [] (Var 0)),Func ("FiniteMap","addToFM") 3 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TVar 0) (FuncType (TVar 1) (TCons ("FiniteMap","FM") [TVar 0,TVar 1])))) (Rule [] (Var 0)),Func ("FiniteMap","addListToFM") 2 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TVar 0,TVar 1]]) (TCons ("FiniteMap","FM") [TVar 0,TVar 1]))) (Rule [] (Var 0)),Func ("FiniteMap","addToFM_C") 4 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TVar 0))) (FuncType (TCons ("FiniteMap","FM") [TVar 1,TVar 0]) (FuncType (TVar 1) (FuncType (TVar 0) (TCons ("FiniteMap","FM") [TVar 1,TVar 0]))))) (Rule [] (Var 0)),Func ("FiniteMap","addListToFM_C") 3 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TVar 0))) (FuncType (TCons ("FiniteMap","FM") [TVar 1,TVar 0]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TVar 1,TVar 0]]) (TCons ("FiniteMap","FM") [TVar 1,TVar 0])))) (Rule [] (Var 0)),Func ("FiniteMap","delFromFM") 2 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TVar 0) (TCons ("FiniteMap","FM") [TVar 0,TVar 1]))) (Rule [] (Var 0)),Func ("FiniteMap","delListFromFM") 2 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TCons ("Prelude","[]") [TVar 0]) (TCons ("FiniteMap","FM") [TVar 0,TVar 1]))) (Rule [] (Var 0)),Func ("FiniteMap","updFM") 3 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TVar 0) (FuncType (FuncType (TVar 1) (TVar 1)) (TCons ("FiniteMap","FM") [TVar 0,TVar 1])))) (Rule [] (Var 0)),Func ("FiniteMap","splitFM") 2 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TVar 0) (TCons ("Prelude","Maybe") [TCons ("Prelude","(,)") [TCons ("FiniteMap","FM") [TVar 0,TVar 1],TCons ("Prelude","(,)") [TVar 0,TVar 1]]]))) (Rule [] (Var 0)),Func ("FiniteMap","plusFM") 2 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("FiniteMap","FM") [TVar 0,TVar 1]))) (Rule [] (Var 0)),Func ("FiniteMap","plusFM_C") 3 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TVar 0))) (FuncType (TCons ("FiniteMap","FM") [TVar 1,TVar 0]) (FuncType (TCons ("FiniteMap","FM") [TVar 1,TVar 0]) (TCons ("FiniteMap","FM") [TVar 1,TVar 0])))) (Rule [] (Var 0)),Func ("FiniteMap","minusFM") 2 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("FiniteMap","FM") [TVar 0,TVar 1]))) (Rule [] (Var 0)),Func ("FiniteMap","intersectFM") 2 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("FiniteMap","FM") [TVar 0,TVar 1]))) (Rule [] (Var 0)),Func ("FiniteMap","intersectFM_C") 3 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TVar 1))) (FuncType (TCons ("FiniteMap","FM") [TVar 2,TVar 0]) (FuncType (TCons ("FiniteMap","FM") [TVar 2,TVar 0]) (TCons ("FiniteMap","FM") [TVar 2,TVar 1])))) (Rule [] (Var 0)),Func ("FiniteMap","foldFM") 3 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 1) (FuncType (TVar 2) (TVar 2)))) (FuncType (TVar 2) (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TVar 2)))) (Rule [] (Var 0)),Func ("FiniteMap","mapFM") 2 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 1) (TVar 2))) (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("FiniteMap","FM") [TVar 0,TVar 2]))) (Rule [] (Var 0)),Func ("FiniteMap","filterFM") 2 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 1) (TCons ("Prelude","Bool") []))) (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("FiniteMap","FM") [TVar 0,TVar 1]))) (Rule [] (Var 0)),Func ("FiniteMap","sizeFM") 1 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("Prelude","Int") [])) (Rule [] (Var 0)),Func ("FiniteMap","eqFM") 2 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("Prelude","Bool") []))) (Rule [] (Var 0)),Func ("FiniteMap","isEmptyFM") 1 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FiniteMap","elemFM") 2 Public (FuncType (TVar 0) (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("Prelude","Bool") []))) (Rule [] (Var 0)),Func ("FiniteMap","lookupFM") 2 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TVar 0) (TCons ("Prelude","Maybe") [TVar 1]))) (Rule [] (Var 0)),Func ("FiniteMap","lookupWithDefaultFM") 3 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TVar 1) (FuncType (TVar 0) (TVar 1)))) (Rule [] (Var 0)),Func ("FiniteMap","keyOrder") 1 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") [])))) (Rule [] (Var 0)),Func ("FiniteMap","minFM") 0 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("Prelude","Maybe") [TCons ("Prelude","(,)") [TVar 0,TVar 1]])) (Rule [] (Var 0)),Func ("FiniteMap","maxFM") 0 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("Prelude","Maybe") [TCons ("Prelude","(,)") [TVar 0,TVar 1]])) (Rule [] (Var 0)),Func ("FiniteMap","fmToList") 1 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TVar 0,TVar 1]])) (Rule [] (Var 0)),Func ("FiniteMap","keysFM") 1 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("Prelude","[]") [TVar 0])) (Rule [] (Var 0)),Func ("FiniteMap","eltsFM") 1 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("Prelude","[]") [TVar 1])) (Rule [] (Var 0)),Func ("FiniteMap","fmToListPreOrder") 1 Public (FuncType (TCons ("FiniteMap","FM") [TVar 0,TVar 1]) (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TVar 0,TVar 1]])) (Rule [] (Var 0)),Func ("FiniteMap","fmSortBy") 2 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TCons ("Prelude","[]") [TVar 0]) (TCons ("Prelude","[]") [TVar 0]))) (Rule [] (Var 0))] []