witness-0.7: values that witness types
Safe HaskellNone
LanguageGHC2021

Data.Type.Witness.Specific.Single

Documentation

type SingleType = (:~:) :: k -> k -> Type Source #

singleAllOf :: t -> AllOf (SingleType t) Source #

getSingleAllOf :: AllOf (SingleType t) -> t Source #