predicate-typed-0.7.3.0: Predicates, Refinement types and Dsl

Safe HaskellNone
LanguageHaskell2010

Predicate.Examples.Refined1

Description

Contains imports needed for Refined1

Synopsis

    Documentation

    >>> :set -XDataKinds
>>> :set -XTypeApplications
>>> :set -XTypeOperators
>>> :set -XTemplateHaskell
>>> :m + Data.Ratio