Data.Grid.Internal.Errors

Documentation

type family (b :: Bool) ?! (e :: ErrorMessage) :: Constraint where ... infixr 1

Equations

True ?! _ = ()

False ?! e = TypeError e