Safe Haskell	None
Language	Haskell2010

Util

Synopsis

Documentation

patUnbind :: (Alpha p, Alpha t) => p -> Bind p t -> t Source #

data Prim Source #

Constructors

Plus
Minus
Times

Instances

Eq Prim Source #
Methods (==) :: Prim -> Prim -> Bool # (/=) :: Prim -> Prim -> Bool #
Ord Prim Source #
Methods compare :: Prim -> Prim -> Ordering # (<) :: Prim -> Prim -> Bool # (<=) :: Prim -> Prim -> Bool # (>) :: Prim -> Prim -> Bool # (>=) :: Prim -> Prim -> Bool # max :: Prim -> Prim -> Prim # min :: Prim -> Prim -> Prim #
Show Prim Source #
Methods showsPrec :: Int -> Prim -> ShowS # show :: Prim -> String # showList :: [Prim] -> ShowS #
Rep Prim Source #
Methods rep :: R Prim #
Alpha Prim Source #
Methods swaps' :: AlphaCtx -> Perm AnyName -> Prim -> Prim # fv' :: Collection f => AlphaCtx -> Prim -> f AnyName # lfreshen' :: LFresh m => AlphaCtx -> Prim -> (Prim -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Prim -> m (Prim, Perm AnyName) # aeq' :: AlphaCtx -> Prim -> Prim -> Bool # acompare' :: AlphaCtx -> Prim -> Prim -> Ordering # close :: Alpha b => AlphaCtx -> b -> Prim -> Prim # open :: Alpha b => AlphaCtx -> b -> Prim -> Prim # isPat :: Prim -> Maybe [AnyName] # isTerm :: Prim -> Bool # isEmbed :: Prim -> Bool # nthpatrec :: Prim -> NthCont # findpatrec :: Prim -> AnyName -> FindResult #
Rep1 ctx0 Prim Source #
Methods rep1 :: R1 ctx0 Prim #
Subst Val Prim #
Methods isvar :: Prim -> Maybe (SubstName Prim Val) # isCoerceVar :: Prim -> Maybe (SubstCoerce Prim Val) # subst :: Name Val -> Val -> Prim -> Prim # substs :: [(Name Val, Val)] -> Prim -> Prim # substPat :: AlphaCtx -> Val -> Prim -> Prim # substPats :: Proxy * Val -> AlphaCtx -> [Dyn] -> Prim -> Prim #
Subst Ty Prim #
Methods isvar :: Prim -> Maybe (SubstName Prim Ty) # isCoerceVar :: Prim -> Maybe (SubstCoerce Prim Ty) # subst :: Name Ty -> Ty -> Prim -> Prim # substs :: [(Name Ty, Ty)] -> Prim -> Prim # substPat :: AlphaCtx -> Ty -> Prim -> Prim # substPats :: Proxy * Ty -> AlphaCtx -> [Dyn] -> Prim -> Prim #
Subst Val Prim #
Methods isvar :: Prim -> Maybe (SubstName Prim Val) # isCoerceVar :: Prim -> Maybe (SubstCoerce Prim Val) # subst :: Name Val -> Val -> Prim -> Prim # substs :: [(Name Val, Val)] -> Prim -> Prim # substPat :: AlphaCtx -> Val -> Prim -> Prim # substPats :: Proxy * Val -> AlphaCtx -> [Dyn] -> Prim -> Prim #
Subst Ty Prim #
Methods isvar :: Prim -> Maybe (SubstName Prim Ty) # isCoerceVar :: Prim -> Maybe (SubstCoerce Prim Ty) # subst :: Name Ty -> Ty -> Prim -> Prim # substs :: [(Name Ty, Ty)] -> Prim -> Prim # substPat :: AlphaCtx -> Ty -> Prim -> Prim # substPats :: Proxy * Ty -> AlphaCtx -> [Dyn] -> Prim -> Prim #
Subst Val Prim #
Methods isvar :: Prim -> Maybe (SubstName Prim Val) # isCoerceVar :: Prim -> Maybe (SubstCoerce Prim Val) # subst :: Name Val -> Val -> Prim -> Prim # substs :: [(Name Val, Val)] -> Prim -> Prim # substPat :: AlphaCtx -> Val -> Prim -> Prim # substPats :: Proxy * Val -> AlphaCtx -> [Dyn] -> Prim -> Prim #
Subst Ty Prim #
Methods isvar :: Prim -> Maybe (SubstName Prim Ty) # isCoerceVar :: Prim -> Maybe (SubstCoerce Prim Ty) # subst :: Name Ty -> Ty -> Prim -> Prim # substs :: [(Name Ty, Ty)] -> Prim -> Prim # substPat :: AlphaCtx -> Ty -> Prim -> Prim # substPats :: Proxy * Ty -> AlphaCtx -> [Dyn] -> Prim -> Prim #
Subst Tm Prim #
Methods isvar :: Prim -> Maybe (SubstName Prim Tm) # isCoerceVar :: Prim -> Maybe (SubstCoerce Prim Tm) # subst :: Name Tm -> Tm -> Prim -> Prim # substs :: [(Name Tm, Tm)] -> Prim -> Prim # substPat :: AlphaCtx -> Tm -> Prim -> Prim # substPats :: Proxy * Tm -> AlphaCtx -> [Dyn] -> Prim -> Prim #
Subst Ty Prim #
Methods isvar :: Prim -> Maybe (SubstName Prim Ty) # isCoerceVar :: Prim -> Maybe (SubstCoerce Prim Ty) # subst :: Name Ty -> Ty -> Prim -> Prim # substs :: [(Name Ty, Ty)] -> Prim -> Prim # substPat :: AlphaCtx -> Ty -> Prim -> Prim # substPats :: Proxy * Ty -> AlphaCtx -> [Dyn] -> Prim -> Prim #

rPrim1 :: forall ctx. () -> () -> () -> R1 ctx Prim Source #

rPrim :: R Prim Source #

evalPrim :: Prim -> Int -> Int -> Int Source #

type M = ExceptT String FreshM Source #

runM :: M a -> a Source #

pp :: Display t => t -> String Source #

pretty-print

class Display t where Source #

Minimal complete definition

display

Methods

display :: t -> DM Doc Source #

Convert a value to a Doc.

Instances

Display Bool Source #
Methods display :: Bool -> DM Doc Source #
Display Char Source #
Methods display :: Char -> DM Doc Source #
Display Double Source #
Methods display :: Double -> DM Doc Source #
Display Float Source #
Methods display :: Float -> DM Doc Source #
Display Int Source #
Methods display :: Int -> DM Doc Source #
Display Integer Source #
Methods display :: Integer -> DM Doc Source #
Display String Source #
Methods display :: String -> DM Doc Source #
Display Heap Source #
Methods display :: Heap -> DM Doc Source #
Display Tm Source #
Methods display :: Tm -> DM Doc Source #
Display Decl Source #
Methods display :: Decl -> DM Doc Source #
Display AnnVal Source #
Methods display :: AnnVal -> DM Doc Source #
Display Val Source #
Methods display :: Val -> DM Doc Source #
Display Ty Source #
Methods display :: Ty -> DM Doc Source #
Display Heap Source #
Methods display :: Heap -> DM Doc Source #
Display HeapVal Source #
Methods display :: HeapVal -> DM Doc Source #
Display Tm Source #
Methods display :: Tm -> DM Doc Source #
Display Decl Source #
Methods display :: Decl -> DM Doc Source #
Display Val Source #
Methods display :: Val -> DM Doc Source #
Display Ty Source #
Methods display :: Ty -> DM Doc Source #
Display InstrSeq Source #
Methods display :: InstrSeq -> DM Doc Source #
Display Instruction Source #
Methods display :: Instruction -> DM Doc Source #
Display HeapVal Source #
Methods display :: HeapVal -> DM Doc Source #
Display SmallVal Source #
Methods display :: SmallVal -> DM Doc Source #
Display WordVal Source #
Methods display :: WordVal -> DM Doc Source #
Display Label Source #
Methods display :: Label -> DM Doc Source #
Display Ty Source #
Methods display :: Ty -> DM Doc Source #
Display Tm Source #
Methods display :: Tm -> DM Doc Source #
Display Decl Source #
Methods display :: Decl -> DM Doc Source #
Display AnnVal Source #
Methods display :: AnnVal -> DM Doc Source #
Display Val Source #
Methods display :: Val -> DM Doc Source #
Display Ty Source #
Methods display :: Ty -> DM Doc Source #
Display Tm Source #
Methods display :: Tm -> DM Doc Source #
Display Ty Source #
Methods display :: Ty -> DM Doc Source #
Display a => Display [(Register, a)] Source #
Methods display :: [(Register, a)] -> DM Doc Source #
Rep a => Display (Name a) Source #
Methods display :: Name a -> DM Doc Source #
Display a => Display (Ann a) Source #
Methods display :: Ann a -> DM Doc Source #
Display a => Display (Pack a) Source #
Methods display :: Pack a -> DM Doc Source #
Display a => Display (TyApp a) Source #
Methods display :: TyApp a -> DM Doc Source #
Display (Tm, Heap) Source #
Methods display :: (Tm, Heap) -> DM Doc Source #
Display (ValName, Embed Ty) Source #
Methods display :: (ValName, Embed Ty) -> DM Doc Source #
Display (Tm, Heap) Source #
Methods display :: (Tm, Heap) -> DM Doc Source #
Display (Ty, Flag) Source #
Methods display :: (Ty, Flag) -> DM Doc Source #
Display (ValName, Embed Ty) Source #
Methods display :: (ValName, Embed Ty) -> DM Doc Source #
Display (Ty, Flag) Source #
Methods display :: (Ty, Flag) -> DM Doc Source #
Display (ValName, Embed Ty) Source #
Methods display :: (ValName, Embed Ty) -> DM Doc Source #
Display a => Display (Map Label a) Source #
Methods display :: Map Label a -> DM Doc Source #
Display a => Display (Map Register a) Source #
Methods display :: Map Register a -> DM Doc Source #
Display (Heap, RegisterFile, InstrSeq) Source #
Methods display :: (Heap, RegisterFile, InstrSeq) -> DM Doc Source #

newtype DM a Source #

Constructors

DM
Fields runDM :: ReaderT DispInfo Identity a

Instances

Monad DM Source #
Methods (>>=) :: DM a -> (a -> DM b) -> DM b # (>>) :: DM a -> DM b -> DM b # return :: a -> DM a # fail :: String -> DM a #
Functor DM Source #
Methods fmap :: (a -> b) -> DM a -> DM b # (<$) :: a -> DM b -> DM a #
Applicative DM Source #
Methods pure :: a -> DM a # (<>) :: DM (a -> b) -> DM a -> DM b # (>) :: DM a -> DM b -> DM b # (<*) :: DM a -> DM b -> DM a #
LFresh DM Source #
Methods lfresh :: Rep a => Name a -> DM (Name a) # avoid :: [AnyName] -> DM a -> DM a # getAvoids :: DM (Set AnyName) #
MonadReader DispInfo DM Source #
Methods ask :: DM DispInfo # local :: (DispInfo -> DispInfo) -> DM a -> DM a # reader :: (DispInfo -> a) -> DM a #

maybeParens :: Bool -> Doc -> Doc Source #

prefix :: String -> Doc -> DM Doc Source #

binop :: Doc -> String -> Doc -> DM Doc Source #

precedence :: String -> Int Source #

data DispInfo Source #

The data structure for information about the display

Constructors

DI
Fields prec :: Int precedence level showTypes :: Bool should we show types? dispAvoid :: Set AnyName names that have been used

Instances

MonadReader DispInfo DM Source #
Methods ask :: DM DispInfo # local :: (DispInfo -> DispInfo) -> DM a -> DM a # reader :: (DispInfo -> a) -> DM a #

initDI :: DispInfo Source #

An empty DispInfo context

withPrec :: Int -> DM a -> DM a Source #

getPrec :: DM Int Source #

intersperse :: Doc -> [Doc] -> [Doc] Source #

displayList :: Display t => [t] -> DM Doc Source #

displayTuple :: Display t => [t] -> DM Doc Source #