pire-0.2.5

Safe HaskellNone
LanguageHaskell2010

Type

Documentation

newtype TVar a Source #

Constructors

TV a 

Instances

Functor TVar Source # 

Methods

fmap :: (a -> b) -> TVar a -> TVar b #

(<$) :: a -> TVar b -> TVar a #

Foldable TVar Source # 

Methods

fold :: Monoid m => TVar m -> m #

foldMap :: Monoid m => (a -> m) -> TVar a -> m #

foldr :: (a -> b -> b) -> b -> TVar a -> b #

foldr' :: (a -> b -> b) -> b -> TVar a -> b #

foldl :: (b -> a -> b) -> b -> TVar a -> b #

foldl' :: (b -> a -> b) -> b -> TVar a -> b #

foldr1 :: (a -> a -> a) -> TVar a -> a #

foldl1 :: (a -> a -> a) -> TVar a -> a #

toList :: TVar a -> [a] #

null :: TVar a -> Bool #

length :: TVar a -> Int #

elem :: Eq a => a -> TVar a -> Bool #

maximum :: Ord a => TVar a -> a #

minimum :: Ord a => TVar a -> a #

sum :: Num a => TVar a -> a #

product :: Num a => TVar a -> a #

Traversable TVar Source # 

Methods

traverse :: Applicative f => (a -> f b) -> TVar a -> f (TVar b) #

sequenceA :: Applicative f => TVar (f a) -> f (TVar a) #

mapM :: Monad m => (a -> m b) -> TVar a -> m (TVar b) #

sequence :: Monad m => TVar (m a) -> m (TVar a) #

Eq1 TVar Source # 

Methods

liftEq :: (a -> b -> Bool) -> TVar a -> TVar b -> Bool #

Ord1 TVar Source # 

Methods

liftCompare :: (a -> b -> Ordering) -> TVar a -> TVar b -> Ordering #

Show1 TVar Source # 

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> TVar a -> ShowS #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [TVar a] -> ShowS #

Eq a => Eq (TVar a) Source # 

Methods

(==) :: TVar a -> TVar a -> Bool #

(/=) :: TVar a -> TVar a -> Bool #

Ord a => Ord (TVar a) Source # 

Methods

compare :: TVar a -> TVar a -> Ordering #

(<) :: TVar a -> TVar a -> Bool #

(<=) :: TVar a -> TVar a -> Bool #

(>) :: TVar a -> TVar a -> Bool #

(>=) :: TVar a -> TVar a -> Bool #

max :: TVar a -> TVar a -> TVar a #

min :: TVar a -> TVar a -> TVar a #

Show a => Show (TVar a) Source # 

Methods

showsPrec :: Int -> TVar a -> ShowS #

show :: TVar a -> String #

showList :: [TVar a] -> ShowS #

data Type a Source #

Constructors

TVar (TVar a) 
TyCon a 
Arr (Type a) (Type a) infixr 9 

Instances

Eq1 Type Source # 

Methods

liftEq :: (a -> b -> Bool) -> Type a -> Type b -> Bool #

Ord1 Type Source # 

Methods

liftCompare :: (a -> b -> Ordering) -> Type a -> Type b -> Ordering #

Show1 Type Source # 

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Type a -> ShowS #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Type a] -> ShowS #

Ord t => Substitutable t (Type t) Source # 

Methods

apply :: Subst t -> Type t -> Type t Source #

ftv :: Type t -> Set (TVar t) Source #

Eq a => Eq (Type a) Source # 

Methods

(==) :: Type a -> Type a -> Bool #

(/=) :: Type a -> Type a -> Bool #

Ord a => Ord (Type a) Source # 

Methods

compare :: Type a -> Type a -> Ordering #

(<) :: Type a -> Type a -> Bool #

(<=) :: Type a -> Type a -> Bool #

(>) :: Type a -> Type a -> Bool #

(>=) :: Type a -> Type a -> Bool #

max :: Type a -> Type a -> Type a #

min :: Type a -> Type a -> Type a #

Show a => Show (Type a) Source # 

Methods

showsPrec :: Int -> Type a -> ShowS #

show :: Type a -> String #

showList :: [Type a] -> ShowS #

(->:) :: Type a -> Type a -> Type a infixr 9 Source #

type Constraint t = (Type t, Type t) Source #