Safe Haskell	None
Language	Haskell2010

Refined.Unsafe.Type

Description

This module exports the Refined type with its constructor. This is very risky! In particular, the Coercible instances will be visible throughout the importing module. It is usually better to build the necessary coercions locally using the utilities in Refined.Unsafe, but in some cases it may be more convenient to write a separate module that imports this one and exports some large coercion.

Synopsis

newtype Refined p x = Refined x

Documentation

newtype Refined p x Source #

A refinement type, which wraps a value of type x.

Since: 0.1.0.0

Constructors

Refined x

Since: 0.1.0.0

Instances

Foldable (Refined p) Source #	Since: 0.2
Instance details Defined in Refined.Unsafe.Type Methods fold :: Monoid m => Refined p m -> m # foldMap :: Monoid m => (a -> m) -> Refined p a -> m # foldr :: (a -> b -> b) -> b -> Refined p a -> b # foldr' :: (a -> b -> b) -> b -> Refined p a -> b # foldl :: (b -> a -> b) -> b -> Refined p a -> b # foldl' :: (b -> a -> b) -> b -> Refined p a -> b # foldr1 :: (a -> a -> a) -> Refined p a -> a # foldl1 :: (a -> a -> a) -> Refined p a -> a # toList :: Refined p a -> [a] # null :: Refined p a -> Bool # length :: Refined p a -> Int # elem :: Eq a => a -> Refined p a -> Bool # maximum :: Ord a => Refined p a -> a # minimum :: Ord a => Refined p a -> a # sum :: Num a => Refined p a -> a # product :: Num a => Refined p a -> a #
Eq x => Eq (Refined p x) Source #	Since: 0.1.0.0
Instance details Defined in Refined.Unsafe.Type Methods (==) :: Refined p x -> Refined p x -> Bool # (/=) :: Refined p x -> Refined p x -> Bool #
Ord x => Ord (Refined p x) Source #	Since: 0.1.0.0
Instance details Defined in Refined.Unsafe.Type Methods compare :: Refined p x -> Refined p x -> Ordering # (<) :: Refined p x -> Refined p x -> Bool # (<=) :: Refined p x -> Refined p x -> Bool # (>) :: Refined p x -> Refined p x -> Bool # (>=) :: Refined p x -> Refined p x -> Bool # max :: Refined p x -> Refined p x -> Refined p x # min :: Refined p x -> Refined p x -> Refined p x #
(Read x, Predicate p x) => Read (Refined p x) Source #	This instance makes sure to check the refinement. Since: 0.1.0.0
Instance details Defined in Refined Methods readsPrec :: Int -> ReadS (Refined p x) # readList :: ReadS [Refined p x] # readPrec :: ReadPrec (Refined p x) # readListPrec :: ReadPrec [Refined p x] #
Show x => Show (Refined p x) Source #	Since: 0.1.0.0
Instance details Defined in Refined.Unsafe.Type Methods showsPrec :: Int -> Refined p x -> ShowS # show :: Refined p x -> String # showList :: [Refined p x] -> ShowS #
Lift x => Lift (Refined p x) Source #	Since: 0.1.0.0
Instance details Defined in Refined.Unsafe.Type Methods lift :: Refined p x -> Q Exp #
(Arbitrary a, Typeable a, Typeable p, Predicate p a) => Arbitrary (Refined p a) Source #	Since: 0.4
Instance details Defined in Refined Methods arbitrary :: Gen (Refined p a) # shrink :: Refined p a -> [Refined p a] #
(ToJSON a, Predicate p a) => ToJSON (Refined p a) Source #	Since: 0.4
Instance details Defined in Refined Methods toJSON :: Refined p a -> Value # toEncoding :: Refined p a -> Encoding # toJSONList :: [Refined p a] -> Value # toEncodingList :: [Refined p a] -> Encoding #
(FromJSON a, Predicate p a) => FromJSON (Refined p a) Source #	Since: 0.4
Instance details Defined in Refined Methods parseJSON :: Value -> Parser (Refined p a) # parseJSONList :: Value -> Parser [Refined p a] #
NFData x => NFData (Refined p x) Source #	Since: 0.5
Instance details Defined in Refined.Unsafe.Type Methods rnf :: Refined p x -> () #