Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type SingleType = (:~:) Source #
singleAllOf :: t -> AllOf (SingleType t) Source #
getSingleAllOf :: AllOf (SingleType t) -> t Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
type SingleType = (:~:) Source #
singleAllOf :: t -> AllOf (SingleType t) Source #
getSingleAllOf :: AllOf (SingleType t) -> t Source #