camfort-0.804: CamFort - Cambridge Fortran infrastructure
Camfort.Analysis.IntermediateReps
data AccessP p Source #
Constructors
Instances
Methods
(==) :: AccessP p -> AccessP p -> Bool #
(/=) :: AccessP p -> AccessP p -> Bool #
(==) :: AnnotationFree (AccessP ()) -> AnnotationFree (AccessP ()) -> Bool #
(/=) :: AnnotationFree (AccessP ()) -> AnnotationFree (AccessP ()) -> Bool #
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AccessP p -> c (AccessP p) #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (AccessP p) #
toConstr :: AccessP p -> Constr #
dataTypeOf :: AccessP p -> DataType #
dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (AccessP p)) #
dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (AccessP p)) #
gmapT :: (forall b. Data b => b -> b) -> AccessP p -> AccessP p #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AccessP p -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AccessP p -> r #
gmapQ :: (forall d. Data d => d -> u) -> AccessP p -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> AccessP p -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> AccessP p -> m (AccessP p) #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AccessP p -> m (AccessP p) #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AccessP p -> m (AccessP p) #
showsPrec :: Int -> AccessP () -> ShowS #
show :: AccessP () -> String #
showList :: [AccessP ()] -> ShowS #
type Access = AccessP () Source #
accessToVarName :: AccessP a -> Variable Source #