| Copyright | (C) 2015 Richard Eisenberg |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | Richard Eisenberg ([email protected]) |
| Stability | experimental |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Language.Glambda.Util
Contents
Description
Utility exports (and re-exports) for glambda. This module is meant to be internal -- do not import it if you are not part of the glambda package!
Documentation
stripWhitespace :: String -> String Source #
(Inefficiently) strips whitespace from a string
nthDefault :: a -> Int -> [a] -> a Source #
Pluck out the nth item from a list, or use a default if the list is too short
data (k :~: a) b :: forall k. k -> k -> * where infix 4 #
Propositional equality. If a :~: b is inhabited by some terminating
value, then the type a is the same as the type b. To use this equality
in practice, pattern-match on the a :~: b to get out the Refl constructor;
in the body of the pattern-match, the compiler knows that a ~ b.
Since: 4.7.0.0