refined-0.2.3.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) # 
Instance details

Methods

lift :: IntMap a -> Q Exp #

Lift a => Lift (Tree a) # 
Instance details

Methods

lift :: Tree a -> Q Exp #

Lift a => Lift (Seq a) # 
Instance details

Methods

lift :: Seq a -> Q Exp #

Lift a => Lift (FingerTree a) # 
Instance details

Methods

lift :: FingerTree a -> Q Exp #

Lift a => Lift (Digit a) # 
Instance details

Methods

lift :: Digit a -> Q Exp #

Lift a => Lift (Node a) # 
Instance details

Methods

lift :: Node a -> Q Exp #

Lift a => Lift (Elem a) # 
Instance details

Methods

lift :: Elem a -> Q Exp #

Lift a => Lift (ViewL a) # 
Instance details

Methods

lift :: ViewL a -> Q Exp #

Lift a => Lift (ViewR a) # 
Instance details

Methods

lift :: ViewR a -> Q Exp #

Lift v => Lift (Set v) # 
Instance details

Methods

lift :: Set v -> Q Exp #

(Lift k, Lift v) => Lift (Map k v) # 
Instance details

Methods

lift :: Map k v -> Q Exp #