refined-0.2.2.0: Refinement types with static and runtime checking

Safe HaskellNone
LanguageHaskell2010

Refined.TH

Contents

Description

This module contains orphan Lift instances of types in common libraries such as containers, for more available compile-time checking of predicates.

Orphan instances

Lift a => Lift (IntMap a) Source # 

Methods

lift :: IntMap a -> Q Exp #

Lift a => Lift (Tree a) Source # 

Methods

lift :: Tree a -> Q Exp #

Lift a => Lift (Seq a) Source # 

Methods

lift :: Seq a -> Q Exp #

Lift a => Lift (FingerTree a) Source # 

Methods

lift :: FingerTree a -> Q Exp #

Lift a => Lift (Digit a) Source # 

Methods

lift :: Digit a -> Q Exp #

Lift a => Lift (Node a) Source # 

Methods

lift :: Node a -> Q Exp #

Lift a => Lift (Elem a) Source # 

Methods

lift :: Elem a -> Q Exp #

Lift a => Lift (ViewL a) Source # 

Methods

lift :: ViewL a -> Q Exp #

Lift a => Lift (ViewR a) Source # 

Methods

lift :: ViewR a -> Q Exp #

Lift v => Lift (Set v) Source # 

Methods

lift :: Set v -> Q Exp #

(Lift k, Lift v) => Lift (Map k v) Source # 

Methods

lift :: Map k v -> Q Exp #