Hi. I need your help I try to use arrow in pure style. I created FileSystem that containt methods fo...

# arrow

[Alexander Zalutskiy]

Hi. I need your help
I try to use arrow in pure style. I created FileSystem that containt methods for forking with FS. It generic by T, whete T is container for result value for all methods. Next i want create method, that accept my FileSystem object and do smth with fs. But i want use do-notation and discribe, that my method accept only FileSystem m where m is any monad type. How can i do this?

[raulraja]

Hi Alexander, do you have some code or gist of what you are trying to do?

[Alexander Zalutskiy]

interface FileSystem<T> {
    fun writeFile(path: Path, text: String): Kind<T, Unit>
}

fun <T>doSomeWork(FS: FileSystem<T>, ...): Kind<T, Unit> = fx.monad {
    ...
    unit.just()
}

smth like this with restriction in doSomeFsWork that T must be monad

[Alexander Zalutskiy]

for using fx.monad

[pakoito]

cool

[pakoito]

you can couple your FileSystem with monad or not

[pakoito]

if you do

[pakoito]

interface FileSystem<T>: MonadFx<T>

[pakoito]

otherwise

[pakoito]

fun <T> doSomeWork(FS: FileSystem<T>, MX: MonadFx<T>): Kind<T, Unit> = MX.fx.monad { ...; MX.unit() }

[pakoito]

if you want to be cute you can use extension functions

[pakoito]

fun <T> MonadFx<T>.doSomeWork(FS: FileSystem<T>): Kind<T, Unit> = fx.monad { ...; unit() }

[Alexander Zalutskiy]

in second and third variant how I must call this func in other fx syntax