predicate-typed-0.7.0.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