Intensional.Types

Documentation

type RVar = Int

type Domain = IntSet

class Refined t where

Methods

domain :: t -> Domain

rename :: RVar -> RVar -> t -> t

prpr :: (RVar -> SDoc) -> t -> SDoc

Instances

Refined Guard

Defined in Intensional.Guard

Methods

domain :: Guard -> Domain

rename :: RVar -> RVar -> Guard -> Guard

prpr :: (RVar -> SDoc) -> Guard -> SDoc

Refined ConstraintSet

Defined in Intensional.Constraints

Methods

domain :: ConstraintSet -> Domain

rename :: RVar -> RVar -> ConstraintSet -> ConstraintSet

prpr :: (RVar -> SDoc) -> ConstraintSet -> SDoc

Outputable d => Refined (TypeGen d)

Defined in Intensional.Types

Methods

domain :: TypeGen d -> Domain

rename :: RVar -> RVar -> TypeGen d -> TypeGen d

prpr :: (RVar -> SDoc) -> TypeGen d -> SDoc

Outputable d => Refined (DataType d)

Defined in Intensional.Types

Methods

domain :: DataType d -> Domain

rename :: RVar -> RVar -> DataType d -> DataType d

prpr :: (RVar -> SDoc) -> DataType d -> SDoc

Refined (K l)

Defined in Intensional.Constructors

Methods

domain :: K l -> Domain

rename :: RVar -> RVar -> K l -> K l

prpr :: (RVar -> SDoc) -> K l -> SDoc

Outputable d => Refined (SchemeGen d)

Defined in Intensional.Scheme

Methods

domain :: SchemeGen d -> Domain

rename :: RVar -> RVar -> SchemeGen d -> SchemeGen d

prpr :: (RVar -> SDoc) -> SchemeGen d -> SDoc

Refined b => Refined (Map a b)

Defined in Intensional.Types

Methods

domain :: Map a b -> Domain

rename :: RVar -> RVar -> Map a b -> Map a b

prpr :: (RVar -> SDoc) -> Map a b -> SDoc

Refined (Constraint l r)

Defined in Intensional.Constraints

Methods

domain :: Constraint l r -> Domain

rename :: RVar -> RVar -> Constraint l r -> Constraint l r

prpr :: (RVar -> SDoc) -> Constraint l r -> SDoc

data DataType d

Constructors

Base d

Inj RVar d

Instances

Functor DataType

Defined in Intensional.Types

Methods

fmap :: (a -> b) -> DataType a -> DataType b

(<$) :: a -> DataType b -> DataType a

Foldable DataType

Defined in Intensional.Types

Methods

fold :: Monoid m => DataType m -> m

foldMap :: Monoid m => (a -> m) -> DataType a -> m

foldMap' :: Monoid m => (a -> m) -> DataType a -> m

foldr :: (a -> b -> b) -> b -> DataType a -> b

foldr' :: (a -> b -> b) -> b -> DataType a -> b

foldl :: (b -> a -> b) -> b -> DataType a -> b

foldl' :: (b -> a -> b) -> b -> DataType a -> b

foldr1 :: (a -> a -> a) -> DataType a -> a

foldl1 :: (a -> a -> a) -> DataType a -> a

toList :: DataType a -> [a]

null :: DataType a -> Bool

length :: DataType a -> Int

elem :: Eq a => a -> DataType a -> Bool

maximum :: Ord a => DataType a -> a

minimum :: Ord a => DataType a -> a

sum :: Num a => DataType a -> a

product :: Num a => DataType a -> a

Traversable DataType

Defined in Intensional.Types

Methods

traverse :: Applicative f => (a -> f b) -> DataType a -> f (DataType b)

sequenceA :: Applicative f => DataType (f a) -> f (DataType a)

mapM :: Monad m => (a -> m b) -> DataType a -> m (DataType b)

sequence :: Monad m => DataType (m a) -> m (DataType a)

Eq d => Eq (DataType d)

Defined in Intensional.Types

Methods

(==) :: DataType d -> DataType d -> Bool

(/=) :: DataType d -> DataType d -> Bool

Generic (DataType d)

Defined in Intensional.Types

Associated Types

type Rep (DataType d) :: Type -> Type

Methods

from :: DataType d -> Rep (DataType d) x

to :: Rep (DataType d) x -> DataType d

Hashable d => Hashable (DataType d)

Defined in Intensional.Types

Methods

hashWithSalt :: Int -> DataType d -> Int

hash :: DataType d -> Int

Binary d => Binary (DataType d)

Defined in Intensional.Types

Methods

put_ :: BinHandle -> DataType d -> IO ()

put :: BinHandle -> DataType d -> IO (Bin (DataType d))

get :: BinHandle -> IO (DataType d)

Outputable d => Outputable (DataType d)

Defined in Intensional.Types

Methods

ppr :: DataType d -> SDoc

pprPrec :: Rational -> DataType d -> SDoc

Outputable d => Refined (DataType d)

Defined in Intensional.Types

Methods

domain :: DataType d -> Domain

rename :: RVar -> RVar -> DataType d -> DataType d

prpr :: (RVar -> SDoc) -> DataType d -> SDoc

type Rep (DataType d)

Defined in Intensional.Types

type Rep (DataType d) = D1 ('MetaData "DataType" "Intensional.Types" "intensional-datatys-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Base" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 d)) :+: C1 ('MetaCons "Inj" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RVar) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 d)))

type Type = TypeGen TyCon

data TypeGen d

Constructors

Var Name

App (TypeGen d) (TypeGen d)

Data (DataType d) [TypeGen d]

(TypeGen d) :=> (TypeGen d)

Lit IfaceTyLit

Ambiguous

Instances

Functor TypeGen

Defined in Intensional.Types

Methods

fmap :: (a -> b) -> TypeGen a -> TypeGen b

(<$) :: a -> TypeGen b -> TypeGen a

Foldable TypeGen

Defined in Intensional.Types

Methods

fold :: Monoid m => TypeGen m -> m

foldMap :: Monoid m => (a -> m) -> TypeGen a -> m

foldMap' :: Monoid m => (a -> m) -> TypeGen a -> m

foldr :: (a -> b -> b) -> b -> TypeGen a -> b

foldr' :: (a -> b -> b) -> b -> TypeGen a -> b

foldl :: (b -> a -> b) -> b -> TypeGen a -> b

foldl' :: (b -> a -> b) -> b -> TypeGen a -> b

foldr1 :: (a -> a -> a) -> TypeGen a -> a

foldl1 :: (a -> a -> a) -> TypeGen a -> a

toList :: TypeGen a -> [a]

null :: TypeGen a -> Bool

length :: TypeGen a -> Int

elem :: Eq a => a -> TypeGen a -> Bool

maximum :: Ord a => TypeGen a -> a

minimum :: Ord a => TypeGen a -> a

sum :: Num a => TypeGen a -> a

product :: Num a => TypeGen a -> a

Traversable TypeGen

Defined in Intensional.Types

Methods

traverse :: Applicative f => (a -> f b) -> TypeGen a -> f (TypeGen b)

sequenceA :: Applicative f => TypeGen (f a) -> f (TypeGen a)

mapM :: Monad m => (a -> m b) -> TypeGen a -> m (TypeGen b)

sequence :: Monad m => TypeGen (m a) -> m (TypeGen a)

Binary d => Binary (TypeGen d)

Defined in Intensional.Types

Methods

put_ :: BinHandle -> TypeGen d -> IO ()

put :: BinHandle -> TypeGen d -> IO (Bin (TypeGen d))

get :: BinHandle -> IO (TypeGen d)

Outputable d => Outputable (TypeGen d)

Defined in Intensional.Types

Methods

ppr :: TypeGen d -> SDoc

pprPrec :: Rational -> TypeGen d -> SDoc

Outputable d => Refined (TypeGen d)

Defined in Intensional.Types

Methods

domain :: TypeGen d -> Domain

rename :: RVar -> RVar -> TypeGen d -> TypeGen d

prpr :: (RVar -> SDoc) -> TypeGen d -> SDoc

decompType :: TypeGen d -> ([TypeGen d], TypeGen d)

subTyVar :: Outputable d => Name -> TypeGen d -> TypeGen d -> TypeGen d

tyconOf :: DataType d -> d