Data.Repa.Scalar.Singleton.Bool

Singleton typed booleans.

Documentation

data B

Constructors

Y

N

Instances

Show B

Methods

showsPrec :: Int -> B -> ShowS

show :: B -> String

showList :: [B] -> ShowS

data Boolean b where

Constructors

Yes :: Boolean Y

No :: Boolean N

Instances

Show (Boolean b)

Methods

showsPrec :: Int -> Boolean b -> ShowS

show :: Boolean b -> String

showList :: [Boolean b] -> ShowS