Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Fortran CHAR value representation.
Currently only CHARs of known length.
Synopsis
- data FString (l :: NaturalK) = KnownNat l => FString Text
- eqFString :: FString l -> FString r -> Bool
- fString :: forall l. KnownNat l => Text -> Maybe (FString l)
- fStringLen :: forall l. KnownNat l => FString l -> Natural
- data SomeFString = forall (l :: NaturalK).KnownNat l => SomeFString (FString l)
- someFString :: Text -> SomeFString
- someFStringLen :: SomeFString -> Natural
- concatFString :: forall ll lr. (KnownNat ll, KnownNat lr) => FString ll -> FString lr -> FString (ll + lr)
- concatSomeFString :: SomeFString -> SomeFString -> SomeFString
- fStringBOp :: (Text -> Text -> r) -> FString ll -> FString lr -> r
- someFStringBOp :: (Text -> Text -> r) -> SomeFString -> SomeFString -> r
Documentation
data FString (l :: NaturalK) Source #
Instances
KnownNat l => Data (FString l) Source # | |
Defined in Language.Fortran.Repr.Value.Scalar.String gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FString l -> c (FString l) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FString l) # toConstr :: FString l -> Constr # dataTypeOf :: FString l -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (FString l)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FString l)) # gmapT :: (forall b. Data b => b -> b) -> FString l -> FString l # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FString l -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FString l -> r # gmapQ :: (forall d. Data d => d -> u) -> FString l -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FString l -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FString l -> m (FString l) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FString l -> m (FString l) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FString l -> m (FString l) # | |
Show (FString l) Source # | |
KnownNat l => Binary (FString l) Source # | This is a painful instance to define. We cheat by leveraging the instance
of the length-hiding type |
Eq (FString l) Source # | |
Ord (FString l) Source # | |
Defined in Language.Fortran.Repr.Value.Scalar.String |
data SomeFString Source #
forall (l :: NaturalK).KnownNat l => SomeFString (FString l) |
Instances
someFString :: Text -> SomeFString Source #
Lift a Text
into SomeFString
.
someFStringLen :: SomeFString -> Natural Source #
concatFString :: forall ll lr. (KnownNat ll, KnownNat lr) => FString ll -> FString lr -> FString (ll + lr) Source #
someFStringBOp :: (Text -> Text -> r) -> SomeFString -> SomeFString -> r Source #