ascii-superset-1.2.4.0: library/ASCII/CaseRefinement.hs-boot

module ASCII.CaseRefinement where

import ASCII.Case (Case (..))

class KnownCase (letterCase :: Case) where theCase :: Case

instance KnownCase 'UpperCase
instance KnownCase 'LowerCase