Documentation

data PreAtom n e Source

aLamL :: forall n e. Prism (PreAtom n e) (n, e) Source

aVarL :: forall n e. Prism (PreAtom n e) n Source

aIntegerL :: forall n e. Prism (PreAtom n e) ℤ Source

mapAtomM :: Monad m => (n -> m n') -> (n -> m n') -> (e -> m e') -> PreAtom n e -> m (PreAtom n' e') Source

data Op Source

data PreExp n e Source

mapExpM :: Monad m => (n -> m n') -> (n -> m n') -> (e -> m e') -> PreExp n e -> m (PreExp n' e') Source

mapExp :: (n -> n') -> (n -> n') -> (e -> e') -> PreExp n e -> PreExp n' e' Source