pire-0.2.5

Safe HaskellNone
LanguageHaskell2010

Common

Documentation

data TypeError t Source #

Instances
Show t => Show (TypeError t) Source # 
Instance details

Defined in Common

data SizeError t Source #

Instances
Show t => Show (SizeError t) Source # 
Instance details

Defined in Common

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
Letters String Source # 
Instance details

Defined in Common

Methods

letters :: [String] Source #

Letters Text Source # 
Instance details

Defined in Common

Methods

letters :: [Text] Source #

data FunctionName Source #

Constructors

VecName 
ListName 
Instances
Show FunctionName Source # 
Instance details

Defined in Common

data ShowSizes Source #

Instances
Show ShowSizes Source # 
Instance details

Defined in Common

data Config Source #

Constructors

Config 
Instances
Show Config Source # 
Instance details

Defined in Common

piinfer :: (Show a1, Letters a2, IsString a2, Eq a2) => 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 #