coda-0.0.1: The coda compiler

Safe Haskell	None
Language	Haskell2010

Coda.Syntax.Prefix

Synopsis

Documentation

newtype Prefix Source #

line prefixes form a semigroup with a zero

Constructors

Instances

Eq Prefix Source #
Methods (==) :: Prefix -> Prefix -> Bool # (/=) :: Prefix -> Prefix -> Bool #
Data Prefix Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Prefix -> c Prefix # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Prefix # toConstr :: Prefix -> Constr # dataTypeOf :: Prefix -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Prefix) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Prefix) # gmapT :: (forall b. Data b => b -> b) -> Prefix -> Prefix # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Prefix -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Prefix -> r # gmapQ :: (forall d. Data d => d -> u) -> Prefix -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Prefix -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Prefix -> m Prefix # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Prefix -> m Prefix # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Prefix -> m Prefix #
Show Prefix Source #
Methods showsPrec :: Int -> Prefix -> ShowS # show :: Prefix -> String # showList :: [Prefix] -> ShowS #
IsString Prefix Source #
Methods fromString :: String -> Prefix #
Generic Prefix Source #
Associated Types type Rep Prefix :: * -> * # Methods from :: Prefix -> Rep Prefix x # to :: Rep Prefix x -> Prefix #
Semigroup Prefix Source #
Methods (<>) :: Prefix -> Prefix -> Prefix # sconcat :: NonEmpty Prefix -> Prefix # stimes :: Integral b => b -> Prefix -> Prefix #
SemigroupWithZero Prefix Source #
Methods zero :: Prefix Source #
FromText Prefix Source #
Methods fromText :: Text -> Prefix Source #
type Rep Prefix Source #
type Rep Prefix = D1 * (MetaData "Prefix" "Coda.Syntax.Prefix" "coda-0.0.1-Lrfl9CggVgIC7W2mVql1dH" True) (C1 * (MetaCons "Prefix" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

joinAndCompare :: Prefix -> Prefix -> Either Prefix Ordering Source #