cli-utils-4.1.0

License	BSD3
Maintainer	tbidne@gmail.com
Safe Haskell	None
Language	Haskell2010

Common.RefinedUtils

Description

Exports utility functions for working with Refined.

Synopsis

type RNonNegative a = Refined NonNegative a
type RPositive a = Refined Positive a
unsafeNonNeg :: (Num x, Ord x) => x -> Refined NonNegative x
unsafePos :: (Num x, Ord x) => x -> Refined Positive x
unsafeRef :: Predicate p x => x -> Refined p x
module Refined

Documentation

type RNonNegative a = Refined NonNegative a Source #

Alias for Refined NonNegative

type RPositive a = Refined Positive a Source #

Alias for Refined Positive

unsafeNonNeg :: (Num x, Ord x) => x -> Refined NonNegative x Source #

unsafeRef for NonNegative.

unsafePos :: (Num x, Ord x) => x -> Refined Positive x Source #

unsafeRef for Positive.

unsafeRef :: Predicate p x => x -> Refined p x Source #

Unsafe version of refine that uses throw when x does not satisfy the predicate p.

module Refined