ifcxt: put if statements within type constraints

This package introduces the ifCxt function, which lets your write if statements that depend on a polymorphic variable's class instances. For example, we can make a version of show that can be called on any type:

cxtShow :: forall a. IfCxt (Show a) => a -> String
cxtShow a = ifCxt (Proxy::Proxy (Show a))
    (show a)
    "<<unshowable>>"

Running this function in ghci, we get:

>>> cxtShow (1 :: Int)
"1"

>>> cxtShow (id :: a -> a)
"<<unshowable>>"

See the project webpage http://github.com/mikeizbicki/ifcxt for more details.

Modules

[Last Documentation]

Downloads

• ifcxt-0.1.1.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• MikeIzbicki

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates