Copyright | (c) 2013-2015 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell98 |
Documentation
splitVarSummands :: Type -> [(TVar, Type)] Source
All ways to split a type in the form: `a + t1`, where a
is a variable.
splitVarSummand :: TVar -> Type -> Maybe Type Source
Check if we can express a type in the form: `a + t1`.