pire-0.2.5

Safe HaskellNone
LanguageHaskell2010

Common

Documentation

sfix :: Size a -> Size a Source #

sv :: a -> Size a Source #

scon :: a -> Size a Source #

data Unique Source #

Constructors

Unique 

Fields

class Letters t where Source #

Minimal complete definition

letters

Methods

letters :: [t] Source #

Instances

data Config Source #

Constructors

Config 

Instances

piinfer :: (Eq a2, IsString a2, Letters a2, Show a1) => ReaderT * Config (ExceptT a1 (StateT Unique Identity)) (Decl a2 a2, a3) -> (Decl a2 a2, a3) Source #

_pifst :: (MonadState Unique f, Letters a, IsString a, Eq a) => (Decl a a, a1) -> f (Decl a a, a1) Source #

_pidecl :: (MonadState Unique f, Letters a, IsString a, Eq a) => Decl a a -> f (Decl a a) Source #

_pipat2 :: (MonadState Unique m, Letters t, IsString t, Eq t) => (Eps, Pattern t) -> m (Eps, Pattern t) Source #

_piexp :: (MonadState Unique m, Letters t, IsString t, Eq t) => Expr t t -> m (Expr t t) Source #

_pimatch :: (MonadState Unique m, Letters t, IsString t, Eq t) => Match t t -> m (Match t t) Source #